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 was delighted to be PC Chair for FTfJP 2018 this year, and really appreciate the efforts of the PC and workshop attendees in making the event a success! I'm also on the External Review Committee for ECOOP 2019 - please submit your excellent papers!

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