Luca Cardelli
| 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 |
| |
| Miembro de | ||
| Sitio web | ||
| Distinciones |
| |
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]
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
- ↑ a b Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN 0-387-94775-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.
- ↑ a b «CARDELLI, Luca». Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press. Error en la cita: Etiqueta
<ref>no válida; el nombre «whoswho» está definido varias veces con contenidos diferentes - ↑ Cardelli, L. (1996). «Bad engineering properties of object-orient languages». ACM Computing Surveys 28 (4es): 150. doi:10.1145/242224.242415.
- ↑ 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.
- ↑ Luca Cardelli from the Association for Computing Machinery (ACM) Digital Library
- ↑ Luca Cardelli's publications indexed by the DBLP Bibliography Server at the University of Trier
- ↑ List of publications from Microsoft Academic Search
- ↑ Luca Cardelli's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.
- ↑ 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. p. 31. ISBN 0897913434. doi:10.1145/96709.96712.
- ↑ Cardelli, Luca (1982). An algebraic approach to hardware description and verification (Tesis de PhD). University of Edinburgh.
- ↑ McIlroy, M. D. (1987).
- ↑ The AITO Dahl-Nygaard Prize Winners for 2007