Luca Cardelli

Luca Cardelli
Born
Luca Andrea Cardelli

Alma materUniversity of Pisa
University of Edinburgh (PhD)
Known forTheory of Objects[5]
AwardsDahl–Nygaard Prize (2007)[1]
ACM Fellow (2005)
Scientific career
FieldsTheory of programming languages
Process algebra
Systems biology
Molecular Programming[2]
InstitutionsBell Labs
Microsoft Research
Digital Equipment Corporation
University of Edinburgh
University of Oxford[3]
ThesisAn algebraic approach to hardware description and verification (1982)
Doctoral advisorGordon Plotkin[4]
Websitelucacardelli.name Edit this at Wikidata

Luca Andrea Cardelli FRS is an Italian computer scientist who is a research professor at the University of Oxford, UK.[6][2][7][8] Cardelli is well known for his research in type theory and operational semantics.[9][10] Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the (non-pure) functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#.[5][11][12][13][14]

  1. ^ "The AITO Dahl-Nygaard Prize Winners For 2007". Aito. Association Internationale pour les Technologies Objets. Retrieved 7 December 2022.
  2. ^ a b Luca Cardelli publications indexed by Google Scholar Edit this at Wikidata
  3. ^ Cardelli, Luca (2021). "Luca Cardelli". Department of Computer Science. University of Oxford.
  4. ^ Luca Cardelli at the Mathematics Genealogy Project
  5. ^ a b Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN 978-0-387-94775-4. OCLC 34557380.
  6. ^ Computerworld Interview with Luca Cardelli
  7. ^ Anon (2013). "Cardelli, Luca". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U244893. (Subscription or UK public library membership required.)
  8. ^ Dalchau, N.; Phillips, A.; Goldstein, L. D.; Howarth, M.; Cardelli, L.; Emmott, S.; Elliott, T.; Werner, J. M. (2011). Chakraborty, Arup K (ed.). "A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization". PLOS Computational Biology. 7 (10): e1002144. Bibcode:2011PLSCB...7E2144D. doi:10.1371/journal.pcbi.1002144. PMC 3195949. PMID 22022238.
  9. ^ Cardelli, L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. 28 (4es): 150–es. doi:10.1145/242224.242415. S2CID 12105785.
  10. ^ Cardelli, Luca; Wegner, Peter (December 1985). "On understanding types, data abstraction, and polymorphism" (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. ^ Luca Cardelli author profile page at the ACM Digital Library
  12. ^ Luca Cardelli at DBLP Bibliography Server Edit this at Wikidata
  13. ^ Luca Cardelli publications indexed by the Scopus bibliographic database. (subscription required)
  14. ^ 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–46. CiteSeerX 10.1.1.22.9903. doi:10.1145/96709.96712. ISBN 978-0897913430. S2CID 7265577.