ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Alexander J. Summers

Registered user since Sun 21 Feb 2016

Name:Alexander J. Summers
Bio:

I am working at ETH Zürich as a postdoc in Peter Müller’s group in the area of program verification. I am mainly interested in specifying and verifying object-oriented programs, ideally in ways which can be supported by tools which are both automatic and usable by typical programmers.

Country:United Kingdom
Affiliation:ETH Zurich

Contributions

FTfJP 2015 Committee Member in Program committee within the FTfJP-track
ECOOP 2015 Lightweight Support for Magic Wands in an Automatic Verifier
Software Verification "Across the Stack"
Lightweight Support for Magic Wands in an Automatic Verifier
Show activities from other conferences

ECOOP 2015-profile
View general profile