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.
Pour les articles homonymes, voir Cardelli.
Luca Cardelli
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de |
UK Computing Research Committee (d) Association for Computing Machinery Royal Society () Academia Europaea () |
| Dir. de thèse | |
| Site web |
(en) LucaCardelli.name |
| Distinctions | Liste détaillée ACM Fellow () Prix Dahl-Nygaard (en) () Tulip Award in DNA Computing (d) () Programming Languages Achievement Award () |
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é :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Bibliothèque nationale de Catalogne
- Base de bibliothèque norvégienne
- Bibliothèque nationale tchèque
- WorldCat
- Ressources relatives à la recherche :
- Google Scholar
- (en) Digital Bibliography & Library Project
- (en) Mathematics Genealogy Project
- (en) ORCID
- (en-GB + en) Royal Society
- (mul) Scopus
Portail de l’informatique 
Portail de l’Italie
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.