- I joined TU Wien as a tenure-track assistant professor in 2012, and I am currently an associate professor and interim head of the Formal Methods group at the Institute of Logic and Computation of Vienna University of Technology. I am leading a WWTF-funded Vienna Research Group for Young Investigators. I received my habilitation in 2016.
- Until 2012, I worked as a postdoctoral research associate in Prof Sharad Malik's group at the department of electrical engineering of Princeton University.
- I received a Diploma from Graz University of Technology in Austria, started my doctoral studies at ETH Zurich (Switzerland) and completed my DPhil in computer science at the University of Oxford in 2010 (under the supervision of Dr Daniel Kröning). My dissertation is concerned with the automated verification of software. My doctoral studies were generously supported through a Microsoft European PhD scholarship.
- While pursuing my degree, I gained practical experience working as a software developer at the Austrian companies Joanneum Research and HS-Art. I interned at the Danish company IFAD, and at Microsoft Research Redmond (WA) and Cambridge (UK). After my undergraduate studies, I spent one year at the Austrian Research Centers in Vienna as a software engineer.
- My research interests are automated formal verification techniques, static analysis, and decision procedures. Check out my peer reviewed papers on these topics.
- I enjoy teaching and tutor and assist courses since my undergraduate studies. I've taught a course on formal verification at Princeton University, and I'm teaching a number of courses on verification and formal methods at TU Wien. I also co-authored a textbook on digital circuit design.