07
Alex Summers récompensé par le prix AITO-Dahl-Nygaard
![Alex Summers](/de/die-eth-zuerich/portraet/aktuelle-ehrungen-und-preise/2016/07/alex-summers-mit-dem-aito-dahl-nygaard-preis-ausgezeichnet/_jcr_content/pageimages/imageSmall.imageformat.contentteaser.1908192313.jpg)
Alex Summers, post-doctorant à la chaire de méthodologie de programmation de Peter Müller, professeur d'informatique à l'ETH Zurich (D-INFK), a remporté le prix AITO-Dahl-Nygaard pour son travail dans le domaine de la vérification des programmes orientés objet.