Jürgen Christ
|
Jürgen Christ University of Freiburg Georges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-022 |
Research
I'm a Ph.D. student at the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. 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 Transregional Collaborative Research Center AVACS.
Publications
- 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)]
Projects
Consultation Hours
- By appointment