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

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

---