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.

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 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)
(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 »

(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é :
Ressources relatives à la recherche :
- ORCID
- (en) Digital Bibliography & Library Project
- (en) Mathematics Genealogy Project
- (en-GB) Royal Society
- (en + ja + zh-Hans + zh-Hant + ru) 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.

[1] (en) « Cardelli, Luca », sur viaf.org (consulté le 17 octobre 2016)

[whoswho-2] (en) « CARDELLI, Luca » , Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press

[3] (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)

[onunderstanding-4] (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)

[badprop-5] (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)

[theoryofobjects-6] (en) Cardelli, Luca et Abadi, Martín, A theory of objects, Berlin, Springer, 1996, 396 p. (ISBN 0-387-94775-2)

[microsoft-7] (en) « Liste de publications », sur Microsoft Academic Search (en)

[scopus-8] (en)Publications de Luca Cardelli indexées sur la base de données Scopus d'Elsevier.

[9] (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 »

[10] « The AITO Dahl-Nygaard Prize Winners For 2007 »