About Me
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.
Research
My research interests subsume program analysis and verification, automated abstraction, abstraction refinement, and automated reasoning.
Recent Publications
- 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]
Tools
Professional Services
Program committee member:
Teaching
- 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
