Table of Contents

I am working at ETH Zürich as a Senior Researcher (Oberassistent) in Peter Müller's group. I work broadly in the area of software correctness and verification, with a particular focus on techniques which can be supported by tools which (ideally) are both automatic and ultimately usable by typical programmers.

I am delighted (and very honoured) to have been awarded the 2015 Dahl-Nygaard Junior Prize! This was awarded at ECOOP 2015. I was invited to give a keynote talk, as a part of the award.

I am currently the PC Chair for FTfJP 2018, which will be co-located with ECOOP 2018 and ISSTA 2018 in Amsterdam. Please come along and join the discussions!

I'm also on the Programme Committee for APLAS 2018.

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

Papers

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

Selected Talks

Useful Things