Document Actions

Alexander Nutz

Research Interests

Software model checking, Craig interpolation

Research

I worked on the interpolation-part of the SMT-solver SMTInterpol. I work on the interpolation-based software model checker called Ultimate Kojak, the C to Boogie translation of Ultimate and, of course, some other, still unpublished, projects.