Dr. Veronika Loitzenbauer
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!
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