ECOOP 2016 (series) / 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
Personal website:http://people.inf.ethz.ch/summersa/wiki/index.php
Contributions
IWACO 2016 | Committee Member in Program Committee within the IWACO-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP 2016-profile
View general profile
View general profile