Dipl.-Inform. Sibylle Möhle 

Since April 2018 I am a PhD student at JKU with Prof. Armin Biere within the National Research Network (NFN) on Rigorous Systems Engineering (RiSE).
In July 2019 I joined the LIT Secure and Correct Systems Lab.

On my personal website you find more information concerning my research.

Office

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

Contact

sibylle.moehle-rotondi@jku.at
+43 732 2468 4547

Address

LIT Secure and Correct Systems Lab
Institute for Formal Models and Verification
Johannes Kepler University Linz
Altenbergerstr. 69
4040 Linz
Austria