Alexander Nutz
|
Alexander Nutz University of Freiburg Georges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-019 |
Research Interests
Software model checking, Craig interpolation
Research
I am currently working on the interpolation-part of the SMT-solver SMTInterpol and on a new (still unnamed) software model checker in the Ultimate framework.
Publications
- SMTInterpol: An Interpolating SMT Solver, with Jürgen Christ and Jochen Hoenicke in SPIN 2012 [PDF]
Tools
Projects
Consultation Hours
Just come by, write me an e-mail if you want to make sure I am there and available.Teaching
Summer semester 2012
assistance for:
- Automata Theory (Seminar)
- Decision Procedures (Lecture)