stringtranslate.com

Luca Cardelli

Luca Andrea Cardelli FRS es un científico informático italiano que es profesor de investigación en la Universidad de Oxford , Reino Unido. [6] [2] [7] [8] Cardelli es conocido por su investigación en teoría de tipos y semántica operacional . [9] [10] 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 de programación tipificada y ayudó a desarrollar el lenguaje experimental Polyphonic C# . [5] [11] [12] [13] [14]

Educación

Nació en Montecatini Terme , Italia . Asistió a la Universidad de Pisa [7] antes de recibir su doctorado de la Universidad de Edimburgo en 1982 [15] por una investigación supervisada por Gordon Plotkin . [4]

Carrera e investigación

Antes de unirse a la Universidad de Oxford en 2014, y a Microsoft Research en Cambridge , [7] Reino Unido en 1997, trabajó para Bell Labs y Digital Equipment Corporation , [7] y contribuyó al software Unix , incluido vismon . [16]

Premios y honores

En 2004 fue nombrado miembro de la Association for Computing Machinery . Fue elegido miembro de la Royal Society (FRS) en 2005. [7] En 2007, Cardelli recibió el premio Senior AITO Dahl–Nygaard Prize, que lleva el nombre de Ole-Johan Dahl y Kristen Nygaard . [17]

Trivialidades

Cardelli creó y publicó la fuente Dijkstra , un tipo de letra de computadora que imita la escritura a mano de Edsger W. Dijkstra , a fines de la década de 1980 mientras trabajaba en DEC . [18] [19]

Referencias

  1. ^ "Ganadores del premio AITO Dahl-Nygaard 2007". Aito . Association Internationale pour les Technologies Objets . Consultado el 7 de diciembre de 2022 .
  2. ^ Publicaciones de Luca Cardelli indexadas por Google Scholar
  3. ^ Cardelli, Luca (2021). "Luca Cardelli". Departamento de Informática . Universidad de Oxford.
  4. ^ de Luca Cardelli en el Proyecto de Genealogía Matemática
  5. ^ ab Cardelli, Luca; Abadi, Martín (1996). Una teoría de los objetos . Berlín: Springer. ISBN 978-0-387-94775-4.OCLC 34557380  .
  6. ^ Entrevista de Computerworld con Luca Cardelli
  7. ^ abcde Anónimo (2013). "Cardelli, Luca" . Quién es quién (edición en línea de Oxford University Press  ). Oxford: A & C Black. doi :10.1093/ww/9780199540884.013.U244893. (Se requiere suscripción o membresía a una biblioteca pública del Reino Unido).
  8. ^ 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 MHC de clase I". PLOS Computational Biology . 7 (10): e1002144. Bibcode :2011PLSCB...7E2144D. doi : 10.1371/journal.pcbi.1002144 . PMC 3195949 . PMID  22022238. 
  9. ^ Cardelli, L. (1996). "Malas propiedades de ingeniería de los lenguajes orientados a objetos". ACM Computing Surveys . 28 (4es): 150–es. doi :10.1145/242224.242415. S2CID  12105785.
  10. ^ Cardelli, Luca; Wegner, Peter (diciembre de 1985). "Sobre la comprensión de los tipos, la abstracción de datos y el polimorfismo" (PDF) . ACM Computing Surveys . 17 (4): 471–523. CiteSeerX 10.1.1.117.695 . doi :10.1145/6041.6042. ISSN  0360-0300. S2CID  2921816. 
  11. ^ Página de perfil del autor Luca Cardelli en la Biblioteca Digital ACM
  12. ^ Luca Cardelli en el servidor de bibliografía DBLP
  13. ^ Publicaciones de Luca Cardelli indexadas en la base de datos bibliográfica Scopus . (requiere suscripción)
  14. ^ 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 . págs. 31–46. CiteSeerX 10.1.1.22.9903 . doi :10.1145/96709.96712. ISBN .  978-0897913430.S2CID 7265577  .
  15. ^ Cardelli, Luca (1982). Un enfoque algebraico para la descripción y verificación de hardware. ed.ac.uk (tesis doctoral). Universidad de Edimburgo. hdl :1842/13308. OCLC  11197000. EThOS  uk.bl.ethos.253190.
  16. ^ McIlroy, MD (1987). Un lector de Unix para investigación: extractos anotados del Manual del programador, 1971–1986 (PDF) (Informe técnico). CSTR. Bell Labs. 139.
  17. ^ "Ganadores del premio AITO Dahl-Nygaard de 2007". Asociación Internacional para las Tecnologías Objetos . Informática Mjølner. 2007.
  18. ^ Cardelli, Luca. "Artefactos/Fuentes". Luca Cardelli . Consultado el 19 de noviembre de 2024 .
  19. ^ "Edsger W. Dijkstra: brillante, colorido y obstinado". CWI ( Centrum voor Wiskunde en Informatica ) .