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 on the External Program Committee for OOPSLA 2017, and the Programme Committee for the SPLASH 2017 Workshops - please submit your excellent papers and proposals!

My CV is available here.

Papers

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

Selected Talks

Useful Things