I am working at ETH Zürich as a senior researcher (Deutsch: Oberassistent), in the Chair of Programming Methodology group run by Peter Müller. I work in the general area of program correctness, including developing new specification and verification logics and type systems, and developing automated tools for constructing proofs about heap-based and concurrent programs, usually building on SMT solvers. I co-ordinate the Viper Project, in which we develop a new intermediate verification language and tool suite designed to ease the construction of new verification tools for modern reasoning techniques. I work mainly in the area of software verification for concurrent and object-oriented programs, and I’m delighted to have been recently awarded the 2015 Dahl-Nygaard Junior Prize for my work in this area. This was awarded at ECOOP 2015.