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.
Some personal (but not too personal) things can be found here.
Some information about my research (I go by the alias Alexander J. Summers in this persona) can be found here.
My email address is alexander dot summers at inf dot ethz dot ch