This shows you the differences between two versions of the page.

Link to this comparison view

home [2012/07/19 18:25] (current)
alex created
Line 1: Line 1:
 +{{images:​n222403618_3059075_7585.jpg }}Welcome to my homepage.
 +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 [[personal|here]].
 +Some information about my research (I go by the alias Alexander J. Summers in this persona) can be found [[research|here]].
 +My email address is alexander dot summers at inf dot ethz dot ch