Table of Contents

In March 2020 I will join the Department of Computer Science at the University of British Columbia, as an Associate Professor. I'm looking for strong PhD, MSc and internship students to work with on a broad variety of topics connected to program correctness (see below).

I am currently working at ETH Zürich as a senior researcher (Deutsch: Oberassistent II), 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 awarded the 2015 Dahl-Nygaard Junior Prize for my work in this area. This was awarded at ECOOP 2015. More information about my research can be found here.

I am currently on the Program Committee for VMCAI 2020 - please submit your excellent papers!

A (possibly reasonably up-to-date) CV is available here.

Papers

2019
2018
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006

Selected Talks

Useful Things