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.

Research Interests

  • Theoretical Computer Science
    • Algorithms and Complexity
      • Polynomial-Time Graph Algorithms
      • (Conditional) Lower Bounds


Please check DBLP for a list of my publications. (The ordering of the authors is alphabetic.)


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


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