Alvin Cheung wins Dahl-Nygaard Junior Prize

CS Associate Professor Alvin Cheung has been awarded the Dahl-Nygaard Junior Prize.

Cheung was cited for his groundbreaking work on “verified lifting,” applying ideas from program synthesis to dramatically improve the end-to-end performance of database-backed applications.

The Dahl-Nygaard Prizes, founded in 2004 by the Association Internationale Pour les Technologies Objets (AITO), are the most esteemed honors in object-oriented programming. Named in honor of the pioneering visionaries Ole-Johan Dahl and Kristen Nygaard, who created the first object-oriented programming language.