Alex Summers mit dem AITO-Dahl-Nygaard-Preis ausgezeichnet
Alex Summers, Postdoktorand am Chair of Programming Methodology von Peter Müller, Professor für Informatik an der ETH Zürich (D-INFK), hat den AITO-Dahl-Nygaard-Preis für seine Arbeit im Bereich der Verifizierung von objekt-orientierten Programmen gewonnen.
Alex Summers. (Bild: D-INFK)
Ein Interview mit Alex Summers darüber, was die Auszeichnung für seine Forschung bedeutet, findet sich auf den Webseiten des Departements Informatik (auf Englisch).