Interests
I work on program verification in the Programming Methodology Group at ETH Zurich. I am currently mainly interested in automating the tedious process of actually using verification tools.
I am also responsible for maintaining Viper Server and the Viper IDE.
Publications
- Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands. Nicolas Klose and Peter Mùˆller. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 2026.