Dipl.-Ing. Daniela Ritirc

Since July 2016, I am a Ph.D. student of Computer Science at JKU, supervised by Prof. Armin Biere within the National Research Network (NFN) on Rigorous Systems Engineering (RiSE).

Office

Science Park 3 (SCP3), 2nd Floor
Room S3 0259

Contact

daniela.ritirc@jku.at
+43 732 2468 4554 (phone)

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria