Luca Cardelli

Luca Andrea Cardelli (né en 1954^[1]) est un chercheur en informatique et ingénieur italien. Il a notamment été directeur adjoint du centre de recherche de Microsoft à Cambridge^[2],[3]. Il est surtout connu pour ses recherches sur la théorie des types, la théorie des objets et la sémantique opérationnelle^[4],[5]. Il a participé à la conception du langage de programmation Modula-3^{[6],[7],[8],[9]}. Il est membre de la Royal Society.

Luca Cardelli

Biographie

Naissance	1954 Montecatini Terme
Nationalité	italienne
Domicile	Cambridge
Formation	Université d'Édimbourg
Activités	Informaticien, ingénieur

Autres informations

A travaillé pour	Microsoft Research, United Kingdom (d) (3 novembre 1997 - 31 août 2018) Digital Equipment Corporation (30 septembre 1985 - 31 octobre 1997) Université de Pennsylvanie (1er janvier - 31 décembre 1984) Université d'Oxford
Membre de	Association for Computing Machinery (2004) Royal Society (2005) Academia Europaea (2006) UK Computing Research Committee (d)
Directeur de thèse	Gordon Plotkin
Site web	(en) LucaCardelli.name
Distinctions	Liste détaillée ACM Fellow (2004) Prix Dahl-Nygaard (2007) Tulip Award in DNA Computing (d) (2012) Programming Languages Achievement Award (2015)

modifier - modifier le code - modifier Wikidata

Biographie

Prix et distinctions

En 2004, il devient membre d'honneur de l'Association for Computing Machinery. En 2007, Cardelli reçoit le prix AITO Ole-Johan Dahl et Kristen Nygaard^[10].