I am a postdoctoral researcher in Tom Henzinger's group at the Institute of Science and Technology Austria (IST Austria).

I received my Ph.D. in computer science from the University of Freiburg. My Ph.D. advisor was Andreas Podelski.
See also my complete CV.

My research interests subsume program analysis and verification, automated abstraction, abstraction refinement, and automated reasoning.

• New Forward Analysis of Depth-Bounded Processes with Damien Zufferey and Thomas A. Henzinger
  To appear in Proceedings of FoSSaCS, 2010. [pdf]
• New Counterexample-Guided Focus with Andreas Podelski
  In Proceedings of POPL, 2010. [pdf]
• New Building a Calculus of Data Structures with Viktor Kuncak, Ruzica Piskac, and Philippe Suter
  In Proceedings of VMCAI, 2010. [pdf]
• It's doomed; we can prove it with Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, and Martin Schäf
  In Proceedings of FM, 2009. [pdf]
• Combining Theories with Shared Set Operations with Ruzica Piskac and Viktor Kuncak
  In Proceedings of FroCoS, 2009. [pdf] [pdf-extended]

Complete list of publications

• Bohne
• Jahob
• SLAyer
• HAVOC

Program committee member:

• WING 2010
• WING 2009

• Seminar on Advanced Topics in Model-Checking, summer term 2008 at University of Freiburg
• Tutorials for the lecture Formal Methods for Java, summer term 2007 at University of Freiburg
• Tutorials for the lecture Verification, winter term 2004/05 at Saarland University