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
View general profile