07

Alex Summers, ricercatore post-dottorando presso la Cattedra di Metodologia della Programmazione di Peter Müller, professore di informatica all'ETH di Zurigo (D-INFK), ha vinto il premio AITO Dahl Nygaard per il suo lavoro nel campo della verifica dei programmi orientati agli oggetti.