http://people.inf.ethz.ch/summersa/wiki/ 2013-05-25T08:53:26+02:00 http://people.inf.ethz.ch/summersa/wiki/ http://people.inf.ethz.ch/summersa/wiki/lib/tpl/dokuwiki/images/favicon.ico text/html 2013-05-16T19:57:46+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?id=research&rev=1368727066&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, in ways which can be supported by tools which are both automatic and ultimately usable by typical programmers. text/html 2013-05-16T19:57:14+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=papers%3Aisoequi.pdf&ns=papers&rev=1368727034&tab_details=history&mediado=diff&do=media text/html 2013-05-16T19:56:53+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=papers%3Apredicates.pdf&ns=papers&rev=1368727013&tab_details=history&mediado=diff&do=media text/html 2013-03-07T22:23:16+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=papers%3Averifast.pdf&ns=papers&rev=1362691396&tab_details=history&mediado=diff&do=media text/html 2013-01-15T18:21:27+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=papers%3Aslvsidf2.pdf&ns=papers&rev=1358270487&tab_details=history&mediado=diff&do=media text/html 2012-12-08T23:02:59+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=papers%3Acv.pdf&ns=papers&rev=1355004179&tab_details=history&mediado=diff&do=media text/html 2012-11-12T23:17:53+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=papers%3Aabstractread.pdf&ns=papers&rev=1352758673&tab_details=history&mediado=diff&do=media text/html 2012-08-15T23:45:39+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=images%3Aalex.jpg&ns=images&rev=1345067139&tab_details=history&mediado=diff&do=media <img src="/summersa/wiki/lib/exe/fetch.php?w=333&h=200t=1345067139&amp;media=images:alex.jpg" alt="images:alex.jpg" /> text/html 2012-08-15T23:44:22+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=images%3A332146_709327741585_1929966512_o.jpg&ns=images&rev=1345067062&tab_details=history&mediado=diff&do=media <img src="/summersa/wiki/lib/exe/fetch.php?w=333&h=200t=1345067062&amp;media=images:332146_709327741585_1929966512_o.jpg" alt="images:332146_709327741585_1929966512_o.jpg" /> text/html 2012-07-19T17:24:52+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=papers%3Aslvsidf-ic.pdf&ns=papers&rev=1342711492&tab_details=history&mediado=diff&do=media text/html 2012-07-19T17:16:05+02:00 alex http://people.inf.ethz.ch/summersa/wiki/doku.php?image=papers%3Aslvsidf-ic.pptx&ns=papers&rev=1342710965&tab_details=history&mediado=diff&do=media