Luca Cardelli

Luca Andrea Cardelli FRS es un científico de la computación italiano, actualmente Director Asociado de Microsoft Research en Cambridge, Reino Unido.^[2][3] Cardelli es conocido por sus investigaciones en la teoría de tipos y la semántica operacional.^[4][5] Entre otras contribuciones, ayudó a diseñar Modula-3, implementó el primer compilador para el lenguaje de programación funcional (no puro) ML, y definió el concepto de programación dirigida por tipos. Ayudó a desarrollar el lenguaje de programación experimental Polyphonic C#.^{[6][7][8][9][10][1]}

Luca Andrea Cardelli
Luca Andrea Cardelli
Información personal
Nacimiento	1954 Montecatini Terme, Italia
Residencia	Cambridge
Nacionalidad	Italiana
Educación
Educado en	Universidad de Pisa Universidad de Edimburgo
Supervisor doctoral	Gordon Plotkin
Información profesional
Ocupación	Informático teórico e ingeniero
Conocido por	Theory of Objects[1] con Martín Abadi
Empleador	Universidad de Oxford Universidad de Pensilvania (1984) Digital Equipment Corporation (1985-1997) Microsoft Research, United Kingdom (1997-2018)
Miembro de	Association for Computing Machinery (desde 2004) Royal Society Academia Europæa (desde 2006)
Sitio web	lucacardelli.name
Distinciones	Fellow de la Royal Society (2005) Premio Dahl-Nygaard (2007) Fellow de la ACM
[editar datos en Wikidata]

Educación

Nació en Montecatini Terme, Italia. Estudió en la Universidad de Pisa^[3] antes de recibir su PhD^[11] de la Universidad de Edimburgo en 1982. Antes de unirse a Microsoft Research en 1997, trabajó para los Laboratorios Bell y Digital Equipment Corporation, y realizó contribuciones al software de Unix, incluyendo vismon.^[12]

Premios

En 2004 fue convocado como Fellow de la Association for Computing Machinery. Es un Fellow de la Royal Society. En 2007, Cardelli recibió el premio Senior AITO Ole-Johan Dahl y Kristen Nygaard.^[13]

Referencias

1. Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN 0-387-94775-2.
2. Dalchau, N.; Phillips, A.; Goldstein, L. D.; Howarth, M.; Cardelli, L.; Emmott, S.; Elliott, T.; Werner, J. M. (2011). «A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization». En Chakraborty, Arup K, ed. PLoS Computational Biology 7 (10): e1002144. PMC 3195949. PMID 22022238. doi:10.1371/journal.pcbi.1002144.
3. «CARDELLI, Luca». Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press.
4. Cardelli, L. (1996). «Bad engineering properties of object-orient languages». ACM Computing Surveys 28 (4es): 150. doi:10.1145/242224.242415.
5. Cardelli, Luca; Wegner, Peter (December 1985). «On understanding types, data abstraction, and polymorphism». ACM Computing Surveys (New York, NY, USA: ACM) 17 (4): 471-523. ISSN 0360-0300. doi:10.1145/6041.6042.
6. Luca Cardelli from the Association for Computing Machinery (ACM) Digital Library
7. Luca Cardelli's publications indexed by the DBLP Bibliography Server at the University of Trier
8. List of publications from Microsoft Academic Search
9. Luca Cardelli's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
10. Abadi, M.; Cardelli, L.; Curien, P. L.; Levy, J. J. (1990). «Explicit substitutions». Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. pp. 31. ISBN 0897913434. doi:10.1145/96709.96712.
11. Cardelli, Luca (1982). An algebraic approach to hardware description and verification (Tesis de PhD). University of Edinburgh.
12. McIlroy, M. D. (1987).
13. The AITO Dahl-Nygaard Prize Winners for 2007

Enlaces externos

• Computerworld Interview with Luca Cardelli

• Datos: Q6695862
• Multimedia: Luca Cardelli / Q6695862