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.


The paper "Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter" was accepted for presentation at SODA 2018. See you there!

Research Interests

  • 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