Luca Andrea Cardelli , miembro de la Royal Society (FRS), es un informático italiano que es profesor de investigación en la Universidad de Oxford en Oxford , Reino Unido. [1] [5] Cardelli es bien conocido por su investigación en teoría de tipos y semántica operativa . [6] [7] Entre otras contribuciones, en lenguajes de programación , ayudó a diseñar el lenguaje Modula-3 , implementó el primer compilador para el lenguaje funcional (no puro) ML , definió el concepto deprogramación tipográfica , y ayudó a desarrollar el lenguaje experimental Polyphonic C # . [2] [8] [9] [10] [11] [12]
| Luca Cardelli | |
|---|---|
 | |
| Nació | Luca Andrea Cardelli |
| Educación | Universidad de Pisa [1] Doctorado, Universidad de Edimburgo , 1982 |
| Conocido por | Teoría de los objetos [2] con Martín Abadi |
| Premios | Miembro de la Royal Society (2005) Premio Dahl-Nygaard (2007) Miembro de la ACM (2005) |
| Carrera científica | |
| Campos | Teoría de tipos Semántica operacional |
| Instituciones | Bell Labs Microsoft Research Digital Equipment Corporation Universidad de Edimburgo Universidad de Oxford [3] |
| Tesis | Un enfoque algebraico para la descripción y verificación de hardware (1982) |
| Asesor de doctorado | Gordon Plotkin [4] |
| Sitio web | lucacardelli |
Educación
Nació en Montecatini Terme , Italia . Asistió a la Universidad de Pisa [1] antes de recibir su Doctorado en Filosofía (PhD) de la Universidad de Edimburgo en 1982. [13] Antes de unirse a la Universidad de Oxford en 2014, y a Microsoft Research en Cambridge , Reino Unido en 1997, trabajó para Bell Labs y Digital Equipment Corporation , [1] y contribuyó al software Unix , incluido vismon . [14]
Premios
En 2004 fue admitido como miembro de la Association for Computing Machinery . Es miembro de la Royal Society . En 2007, Cardelli recibió el premio Senior AITO Dahl – Nygaard, que lleva el nombre de Ole-Johan Dahl y Kristen Nygaard . [15]
Referencias
- ^ a b c d "Cardelli, Luca" . Quién es quién 2013, A & C Black, una impresión de Bloomsbury Publishing plc, 2013; edn en línea, Oxford University Press .(requiere suscripción)
- ^ a b Cardelli, Luca; Abadi, Martín (1996). Una teoría de los objetos . Berlín: Springer. ISBN 978-0-387-94775-4.
- ^ Cardelli, Luca (2021). "Luca Cardelli" . Departamento de Ciencias de la Computación . Universidad de Oxford.
- ^ Luca Cardelli en el Proyecto de genealogía matemática
- ^ Dalchau, N .; Phillips, A .; Goldstein, LD; Howarth, M .; Cardelli, L .; Emmott, S .; Elliott, T .; Werner, JM (2011). Chakraborty, Arup K (ed.). "Una relación de filtrado de péptidos cuantifica la optimización de péptidos de clase I de MHC" . PLOS Biología Computacional . 7 (10): e1002144. Código Bibliográfico : 2011PLSCB ... 7E2144D . doi : 10.1371 / journal.pcbi.1002144 . PMC 3195949 . PMID 22022238 .
- ^ Cardelli, L. (1996). "Las malas propiedades de ingeniería de los lenguajes orientados a objetos" . Encuestas de computación ACM . 28 (4es): 150 – es. doi : 10.1145 / 242224.242415 . S2CID 12105785 .
- ^ Cardelli, Luca; Wegner, Peter (diciembre de 1985). "Sobre la comprensión de los tipos, la abstracción de datos y el polimorfismo" (PDF) . Encuestas de computación ACM . 17 (4): 471–523. CiteSeerX 10.1.1.117.695 . doi : 10.1145 / 6041.6042 . ISSN 0360-0300 . S2CID 2921816 .
- ^ Página de perfil del autor de Luca Cardelli en laBiblioteca digital de ACM
- ^ Luca Cardelli en elservidor de bibliografía DBLP
- ^ Lista de publicaciones de Microsoft Academic
- ^ Publicaciones de Luca Cardelli indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ Abadi, M .; Cardelli, L .; Curien, PL; Levy, JJ (1990). "Sustituciones explícitas". Actas del 17º simposio ACM SIGPLAN-SIGACT sobre Principios de lenguajes de programación (POPL) '90 . pag. 31–46. CiteSeerX 10.1.1.22.9903 . doi : 10.1145 / 96709.96712 . ISBN 978-0897913430. S2CID 7265577 .
- ^ Cardelli, Luca (1982). Un enfoque algebraico para la descripción y verificación de hardware (tesis doctoral). Universidad de Edimburgo.
- ^ McIlroy, MD (1987). Un lector de investigación Unix: extractos comentados del Manual del programador, 1971–1986 (PDF) (Informe técnico). CSTR. Bell Labs. 139.
- ^ "Los ganadores del premio AITO Dahl – Nygaard de 2007" . Association Internationale pour les Technologies Objets . Informática Mjølner. 2007.
enlaces externos
- Página web oficial
- Entrevista Computerworld con Luca Cardelli