07
Alex Summers mit dem AITO-Dahl-Nygaard-Preis ausgezeichnet - Test
Alex Summers, a postdoctoral researcher with the Chair of Programming Methodology lead by Peter Müller, Professor of Computer Science at ETH Zurich (D-INFK), has won the AITO Dahl-Nygaard Prize for his work on the verification of object-oriented programs.