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, Germany. My Ph.D. advisor was Andreas Podelski.
See also my complete CV.

As computer systems continue to pervade every corner of today's technology, their failure can have critical impact on the common weal. The increasing complexity of the software deployed on computers makes it hard to ensure their operational reliability. Tools that assist engineers in building reliable software are essential to cope with this complexity. In my research, I develop software analysis, verification, and theorem proving techniques that provide the foundations of such tools.

• New Forward Analysis of Depth-Bounded Processes with Damien Zufferey and Thomas A. Henzinger
  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

• Lecture on Programming Paradigms for Concurrency, winter term 2010/11 at IST Austria
• 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