07

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.