ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Alexander J. Summers

Registered user since Sun 21 Feb 2016

Name: Alexander J. Summers

Bio: 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 develop 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.

Country: Switzerland

Affiliation: ETH Zurich

Personal website:


FTfJP 2018Program Chair in Program Committee within the FTfJP-track
ECOOP and ISSTAMentor in Mentors within the Summer School (By Invitation Only)-track
Show activities from other conferences

ECOOP and ISSTA-profile
View general profile