Dr. Alex Summers

Welcome 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 an "Oberassistent" (Senior 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 particularly interested in combinations of areas, techniques and tools. I'm work both on developing fundamental formal techniques and providing new technology for implementing them efficiently.

I work primarily in the area of software verification for concurrent and object-oriented programs, and I'm delighted to have been recently awarded the external page2015 Dahl-Nygaard Junior Prize for my work in this area, awarded at external pageECOOP 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