Luca Cardelli
chercheur en informatique
Pour les articles homonymes, voir 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
| 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
modifier
Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?
Prix et distinctions
modifierEn 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].
Notes et références
modifier- (en) « Cardelli, Luca », sur viaf.org (consulté le )
- (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, no 10, , 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, no 4es, , 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, no 4, , 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, , 396 p. (ISBN 0-387-94775-2)
- (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, , 31 p. (ISBN 0-89791-343-4, DOI 10.1145/96709.96712), « Explicit substitutions »
- « The AITO Dahl-Nygaard Prize Winners For 2007 »
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Luca Cardelli » (voir la liste des auteurs).
Bibliographie
modifierMartin Abadi, Luca Cardelli, A Theory of Objects, Springer, 1996
Liens externes
modifier- Ressources relatives à la recherche :
- Dimensions
- (en) Digital Bibliography & Library Project
- (en) Google Scholar
- (en) Mathematics Genealogy Project
- (en) ORCID
- (en) Royal Society
- (mul) Scopus
