Luca Cardelli

Last updated

Luca Cardelli
FRS
Luca Cardelli.jpg
Born
Luca Andrea Cardelli

Montecatini Terme, Italy
Alma mater University of Pisa
University of Edinburgh (PhD)
Known forTheory of Objects [1]
Awards Dahl–Nygaard Prize (2007) [2]
ACM Fellow (2005)
Scientific career
Fields Theory of programming languages
Process algebra
Systems biology
Molecular Programming [3]
Institutions Bell Labs
Microsoft Research
Digital Equipment Corporation
University of Edinburgh
University of Oxford [4]
Thesis An algebraic approach to hardware description and verification  (1982)
Doctoral advisor Gordon Plotkin [5]
Website lucacardelli.name OOjs UI icon edit-ltr-progressive.svg

Luca Andrea Cardelli FRS is an Italian computer scientist who is a research professor at the University of Oxford, UK. [6] [3] [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#. [1] [11] [12] [13] [14]

Contents

Education

He was born in Montecatini Terme, Italy. He attended the University of Pisa [7] before receiving his PhD from the University of Edinburgh in 1982 [15] for research supervised by Gordon Plotkin. [5]

Career and research

Before joining the University of Oxford in 2014, and Microsoft Research in Cambridge, [7] UK in 1997, he worked for Bell Labs and Digital Equipment Corporation, [7] and contributed to Unix software including vismon. [16]

Awards and honours

In 2004 he was inducted as a Fellow of the Association for Computing Machinery. He was elected a Fellow of the Royal Society (FRS) in 2005. [7] In 2007, Cardelli was awarded the Senior AITO Dahl–Nygaard Prize named for Ole-Johan Dahl and Kristen Nygaard. [17]

Trivia

Cardelli created and published the Dijkstra font, a computer typeface mimicking Edsger W. Dijkstra's handwriting, in the late 1980s while working at DEC. [18] [19]

References

  1. 1 2 Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN   978-0-387-94775-4. OCLC   34557380.
  2. ↑ "The AITO Dahl-Nygaard Prize Winners For 2007". Aito. Association Internationale pour les Technologies Objets . Retrieved 7 December 2022.
  3. 1 2 Luca Cardelli publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  4. ↑ Cardelli, Luca (2021). "Luca Cardelli". Department of Computer Science. University of Oxford.
  5. 1 2 Luca Cardelli at the Mathematics Genealogy Project
  6. ↑ Computerworld Interview with Luca Cardelli
  7. 1 2 3 4 5 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 OOjs UI icon edit-ltr-progressive.svg
  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.
  15. ↑ Cardelli, Luca (1982). An algebraic approach to hardware description and verification. ed.ac.uk (PhD thesis). University of Edinburgh. hdl:1842/13308. OCLC   11197000. EThOS   uk.bl.ethos.253190.
  16. ↑ McIlroy, M. D. (1987). A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 (PDF) (Technical report). CSTR. Bell Labs. 139.
  17. ↑ "The AITO Dahl–Nygaard Prize Winners for 2007". Association Internationale pour les Technologies Objets. Mjølner Informatics. 2007.
  18. ↑ Cardelli, Luca. "Artifacts/Fonts". Luca Cardelli. Retrieved 19 November 2024.
  19. ↑ "Edsger W. Dijkstra: Brilliant, colourful, and opinionated". CWI (Centrum voor Wiskunde en Informatica).
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.