07

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.