University of Freiburg
building 052, room 00-022
I'm a Ph.D. student at the Chair of Software Engineering, , . My research interests include SMT solving, Craig interpolation, and invariant generation. I'm currently working on SMTInterpol, an interpolating SMT solver. I'm a member of the .
- Proof Tree Preserving Interpolation, with Jochen Hoenicke, and Alexander Nutz in TACAS 2013 [Technical Report]
- Flow-sensitive Fault Localization, with Evren Ermis, Martin Schäf, and Thomas Wies in VMCAI 2013 [PDF]
- SMTInterpol: An Interpolating SMT Solver, with Alexander Nutz and Jochen Hoenicke in SPIN 2012 [PDF]
- Instantiation-Based Interpolation for Quantified Formulae, with Jochen Hoenicke in SMT 2010 [PDF (Color), PDF (Black and White)]
- By appointment