Luca Cardelli

Luca Andrea Cardelli

Luca Andrea Cardelli
Información personal
Nacimiento 1954 Ver y modificar los datos en Wikidata
Montecatini Terme, Italia
Residencia Cambridge Ver y modificar los datos en Wikidata
Nacionalidad Italiana
Educación
Educado en Universidad de Pisa
Universidad de Edimburgo
Supervisor doctoral Gordon Plotkin Ver y modificar los datos en Wikidata
Información profesional
Ocupación Informático teórico e ingeniero Ver y modificar los datos en Wikidata
Conocido por Theory of Objects[1]​ con Martín Abadi
Empleador
Miembro de
Sitio web
Distinciones
[editar datos en Wikidata]

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

[editar]

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

[editar]

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

[editar]
  1. ↑ a b 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. ↑ a b «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

[editar]