http://people.inf.ethz.ch/summersa/wiki/ 2012-05-16T15:20:08+02:00 http://people.inf.ethz.ch/summersa/wiki/ http://people.inf.ethz.ch/summersa/wiki/lib/images/favicon.ico text/html 2010-04-25T13:45:57+02:00 http://people.inf.ethz.ch/summersa/wiki/doku.php?id=framework&rev=1272195957&do=diff dd text/html 2012-04-27T14:06:44+02:00 http://people.inf.ethz.ch/summersa/wiki/doku.php?id=personal&rev=1335528404&do=diff Activities I play piano, hockey, computer games, badminton and chess. Not necessarily well, or in that order, but they keep me amused. Big Band I was a member of Imperial College Big Band for 7.5 years. I played the piano in the band, and very much enjoyed it. I was the Gig Manager for the big band for 3 years (while Matthew Knights and Tom Woodcock were chairmen), during which time we won a Gold Award at the National Concert Band Festival, and played a charity concert in the Great Hall at … text/html 2012-04-01T10:16:14+02:00 http://people.inf.ethz.ch/summersa/wiki/doku.php?id=research&rev=1333268174&do=diff 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. text/html 2009-12-11T14:39:37+02:00 http://people.inf.ethz.ch/summersa/wiki/doku.php?id=restricted&rev=1260538777&do=diff here text/html 2012-02-24T12:24:17+02:00 http://people.inf.ethz.ch/summersa/wiki/doku.php?id=start&rev=1330082657&do=diff 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.