Luca Cardelli

Biographie
Naissance	1954; Montecatini Terme
Nationalité	italienne
Domicile	Cambridge
Formation	Université d'Édimbourg
Activités	Informaticien, ingénieur
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)

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

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.

Notes et références

↑ (en) « Cardelli, Luca », sur viaf.org (consulté le 17 octobre 2016)
↑ (en) « CARDELLI, Luca » , Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press
↑ (en) N. Dalchau, A. Phillips, L. D. Goldstein, M. Howarth, L. Cardelli, S. Emmott, T. Elliott et J. M. Werner, « A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization », PLoS Computational Biology, vol. 7, n^o 10,‎ 2011, e1002144 (PMID 22022238, PMCID 3195949, DOI 10.1371/journal.pcbi.1002144)
↑ (en) L. Cardelli, « Bad engineering properties of object-orient languages », ACM Computing Surveys, vol. 28, n^o 4es,‎ 1996, p. 150 (DOI 10.1145/242224.242415, lire en ligne)
↑ (en) Luca Cardelli et Peter Wegner, « On understanding types, data abstraction, and polymorphism », ACM, New York, NY, USA, vol. 17, n^o 4,‎ décembre 1985, p. 471–523 (ISSN 0360-0300, DOI 10.1145/6041.6042, lire en ligne)
↑ (en) Cardelli, Luca et Abadi, Martín, A theory of objects, Berlin, Springer, 1996, 396 p. (ISBN 0-387-94775-2, lire en ligne)
↑ (en) « Liste de publications », sur Microsoft Academic Search (en)
↑ (en)Publications de Luca Cardelli indexées sur la base de données Scopus d'Elsevier.
↑ (en) M. Abadi, L. Cardelli, P. L. Curien et J. J. Levy, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages : POPL '90, 1990, 31 p. (ISBN 0-89791-343-4, DOI 10.1145/96709.96712), « Explicit substitutions »
↑ « The AITO Dahl-Nygaard Prize Winners For 2007 »