[TYPES/announce] The AITO Dahl-Nygaard Prize Winners for 2007

Vasco Vasconcelos vv at di.fc.ul.pt
Tue Jun 5 03:54:37 EDT 2007


AITO is very proud to announce that the Dahl-Nygaard Prizes for 2007  
will be given to Luca Cardelli, Microsoft Research Cambridge (Senior  
prize) for his overall contribution to both theory and practice for  
object-oriented languages, and to Jonathan Aldrich, Carnegie Mellon  
University Pittsburgh (Junior prize) for his recent contribution to  
expressing and verifying software architecture in object-oriented  
languages.

Luca Cardelli systematically developed typing theories for objects,  
from record types to bounded quantification, eventually leading to  
the famous book "A Theory of Objects", published with Martin Abadi in  
1996. This masterpiece develops an "object calculus" as a foundation  
for object-oriented languages, in much the same way that Church's  
lambda-calculus is a foundation for procedural languages. Overall,  
Luca's work was inspired by strong expertise on language design,  
including functional languages and theory, such as ML, and object- 
oriented languages such as Modula-3. This leads Luca to further  
contribute to language design in the domain of mobility and locality  
with contributions such as Obliq and Ambient. The Ambient Calculus  
(developed with Andy Gordon) enables the formal analysis of mobile  
and wide-area systems, in part by taking advantage of a decade of  
previous work on process algebra. This work on mobility indirectly  
led to his recent interest in Systems Biology.

Jonathan Aldrich develops lightweight ways to statically assure  
architectural characteristics of large, real-world object-oriented  
systems. His pioneering thesis work on ArchJava (with advisors Craig  
Chambers and David Notkin) was the first system to verify at compile  
time that the dynamic structure of an object-oriented application  
conforms to an abstract, hierarchical software architecture.  
ArchJava, like Jonathan's other work, tackles head-on challenging  
aspects of object-oriented systems, including aliasing, reentrancy,  
inheritance, and the use of sophisticated design patterns. Jonathan's  
research is grounded in formal soundness proofs yet is validated  
through case study evaluations with realistic software systems and  
tasks. More recently, Jonathan and his students have made  
contributions in other aspects of object-oriented architecture  
assurance, including object protocol checking, modularity in aspect- 
oriented programming, and novel object models.

The AITO Dahl-Nygaard Prizes are named for Ole-Johan Dahl and Kristen  
Nygaard, two pioneers in the area of programming and simulation.  
Their foundational work on object-oriented programming, made concrete  
in the Simula language, is one of the most important inventions in  
software engineering. Their key ideas were expressed already around  
1965, but took over 20 years to be absorbed and appreciated by the  
broader software community. After that, object-orientation has  
profoundly transformed the landscape of software design and  
development techniques.

It was a great loss to our community that both Ole-Johan Dahl and  
Kristen Nygaard passed away in 2002. In remembrance of their  
scholarship and enthusiastic encouragement of young researchers, AITO  
has established in 2004 a prize to be awarded annually to a senior  
researcher with outstanding career contributions and a younger  
researcher who has demonstrated great potential for following in the  
footsteps of these pioneers. For 2006, the prize committee has  
recommended deviating from the norm and giving one prize but to a  
group of four people.

The prizes will be awarded in July at ECOOP 2007, July 30 - August  
03, Berlin, Germany. Luca Cardelli and Jonathan Aldrich have agreed  
to give keynotes talks. For details, see the conference program.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070605/1c71d9d8/attachment.htm


More information about the Types-announce mailing list