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]

Nacimiento 1954

Residencia Cambridge

Nacionalidad Italiana

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

Cerrar

Educación