Luca Cardelli
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Cardelli.
![une illustration sous licence libre serait bienvenue](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f7/Defaut_2.svg/langfr-260px-Defaut_2.svg.png)
Naissance | ![]() Montecatini Terme ![]() |
---|---|
Nationalité | italienne ![]() |
Domicile | Cambridge ![]() |
Formation | |
Activités | Informaticien, ingénieur ![]() |
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 | Gordon Plotkin ![]() |
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 () ![]() |
modifier - modifier le code - modifier Wikidata
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.
Biographie
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/87/Fairytale_warning.png/17px-Fairytale_warning.png)
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].
Notes et références
- ↑ (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
Martin Abadi, Luca Cardelli, A Theory of Objects, Springer, 1996
Liens externes
- Notices d'autorité
:
- VIAF
- ISNI
- BnF (données)
- IdRef
- LCCN
- GND
- Pays-Bas
- Israël
- NUKAT
- Catalogne
- Norvège
- Tchéquie
- WorldCat
- Ressources relatives à la recherche
:
- Digital Bibliography & Library Project
- Dimensions
- Google Scholar
- Mathematics Genealogy Project
- ORCID
- Royal Society
- Scopus
Portail de l’informatique
Portail de l’Italie