Technische Universität Wien
Institut für Informationssysteme 184/4
|Room:||HG 03 07 (how to get there)|
|Phone:||+43 (1) 58801 – 184 35|
I’m leading the Rigorous Software Engineering lab of the Formal Methods in Systems Engineering Group. I’ve a master’s level degree from Graz University of Technology and a doctorate in computer science from Oxford University. Prior to my appointment in Vienna, I was a postdoctoral researcher at Princeton University.
My current research on the detection and explanation of Heisenbugs is funded by a Vienna Research Group for Young Investigators grant (stay tuned for publications on that topic).
I’m currently looking for bright students and postdocs interested in formal methods, logic, and systems engineering. Feel free to contact me if you’re interested.
A list of publications and my curriculum vitae is available from