07
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.