07
Alex Summers mit dem AITO-Dahl-Nygaard-Preis ausgezeichnet - Test
![Alex Summers](/en/the-eth-zurich/portrait/latest-honours-and-prizes/2016/07/alex-summers-mit-dem-aito-dahl-nygaard-preis-ausgezeichnet/_jcr_content/pageimages/imageSmall.imageformat.contentteaser.1887286329.jpg)
Alex Summers, a postdoctoral researcher with the Chair of Programming Methodology lead by Peter Müller, Professor of Computer Science at ETH Zurich (D-INFK), has won the AITO Dahl-Nygaard Prize for his work on the verification of object-oriented programs.