alex.jpgWelcome to my home page. As an academic on paper, I go by the alias Alexander J. Summers, but in other capacities you can call me Alex.

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 have developed 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. More information about my research can be found here.

Some personal (but not too personal) things can be found here, and if you need to contact me (feel free), my email address is alexander dot summers at inf dot ethz dot ch