Dr. Veronika Loitzenbauer
Since December 2017, I am a Post-Doc at JKU with Prof. Armin Biere within the National Research Network (NFN) on Rigorous Systems Engineering (RiSE). From March till August 2017 I was a Post-Doc at Bar-Ilan University hosted by Prof. Ely Porat.
Before that I did my PhD in the research group Theory and Applications of Algorithms at the University of Vienna under the supervision of Prof. Monika Henzinger. My PhD thesis on "Improved algorithms and conditional lower bounds for problems in formal verification and reactive synthesis" can be found here.
Please check DBLP for a list of my publications. (The ordering of the authors is alphabetic.)
Science Park 3 (SCP3), 2nd
Institute for Formal Models and Verification