Jürgen Christ

Jürgen Christ University of Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-022 +49 761 203 8292 christj@informatik.uni-freiburg.de

Research

I received my Ph.D. from the Chair of Software Engineering, Institute of Computer Science, University of Freiburg. My research includes SMT solving, Craig interpolation, and invariant generation.  As of November 1, 2015 I left academia.

 Publications

• Interpolation Modulo Theories, Dissertation [PDF]
  
• Weakly Equivalent Arrays, with Jochen Hoenicke in SMT 2014 [extended version]
  
• Extending Proof Tree Preserving Interpolation to Sequences and Trees, with Jochen Hoenicke in SMT 2013 [PDF]
  
• 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

• AVACS 
• SMTInterpol
  

Consultation Hours

• By appointment
  

Teaching

• Formal Methods for Java

• Computer Supported Modeling and Reasoning