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

I am working at ETH Zürich as a postdoctoral researcher, in the Chair of Programming Methodology group run by Peter Müller. I work in the general area of program correctness, including specification and verification logics, type systems, SMT solvers, and static analysis. I'm interested in developing both the fundamental formal techniques and the technology involved in implementing them efficiently.

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 will be 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