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, Germany.
My Ph.D. advisor was Andreas Podelski.
See also my complete CV.
Research
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.
Recent Publications
- 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]
Tools
Professional Services
Program committee member:
Teaching
- 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
