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 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]

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]

Datos rápidos Información personal, Nacimiento ...

Cerrar

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]

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]

[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

Computerworld Interview with Luca Cardelli

Datos: Q6695862
Multimedia: Luca Cardelli / Q6695862

[theoryofobjects-1] [1]
Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN 0-387-94775-2.

[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.

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

[onunderstanding-4] [4]
Cardelli, L. (1996). «Bad engineering properties of object-orient languages». ACM Computing Surveys 28 (4es): 150. doi:10.1145/242224.242415.

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

[acm-6] [6]
Luca Cardelli from the Association for Computing Machinery (ACM) Digital Library

[dblp-7] [7]
Luca Cardelli's publications indexed by the DBLP Bibliography Server at the University of Trier

[microsoft-8] [8]
List of publications from Microsoft Academic Search

[scopus-9] [9]
Luca Cardelli's publications indexed by the Scopus bibliographic database, a service provided by Elsevier.

[10] [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.

[cardelliphd-11] [11]
Cardelli, Luca (1982). An algebraic approach to hardware description and verification (Tesis de PhD). University of Edinburgh.

[reader-12] [12]
McIlroy, M. D. (1987).

[13] [13]
The AITO Dahl-Nygaard Prize Winners for 2007

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[1]

[11]

[12]

[13]

Wikiwand in your browser!

Luca Cardelli

Wikiwand in your browser!

Educación

Premios

Referencias

Enlaces externos