Luca Cardelli
chercheur en informatique
From Wikipedia, the free encyclopedia
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
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activités |
| A travaillé pour |
Microsoft Research, United Kingdom (d) ( - Digital Equipment Corporation ( - Université de Pennsylvanie ( - Université d'Oxford |
|---|---|
| Membre de |
Association for Computing Machinery () Royal Society () Academia Europaea () UK Computing Research Committee (d) |
| Directeur de thèse | |
| Site web |
(en) LucaCardelli.name |
| Distinctions | Liste détaillée ACM Fellow () Prix Dahl-Nygaard () Tulip Award in DNA Computing (d) () Programming Languages Achievement Award () |
Biographie
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
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].
