From Surf Wiki (app.surf) — the open knowledge base

Luca Cardelli

Italian computer scientist

Summary

Italian computer scientist

Field	Value
name	Luca Cardelli
image	Luca Cardelli.jpg
birth_name	Luca Andrea Cardelli
birth_date
birth_place	Montecatini Terme, Italy
honorific_suffix
field	Theory of programming languages
Process algebra
Systems biology
Molecular Programming
workplaces	Bell Labs
Microsoft Research
Digital Equipment Corporation
University of Edinburgh
University of Oxford
alma_mater	University of Pisa
University of Edinburgh (PhD)
thesis_title	An algebraic approach to hardware description and verification
thesis_url	https://hdl.handle.net/1842/13308
thesis_year	1982
known_for	Theory of Objects
doctoral_advisor	Gordon Plotkin
awards	Dahl–Nygaard Prize (2007)
ACM Fellow (2005)
website

Process algebra Systems biology Molecular Programming Microsoft Research Digital Equipment Corporation University of Edinburgh University of Oxford University of Edinburgh (PhD) ACM Fellow (2005)

Luca Andrea Cardelli is an Italian computer scientist who is a research professor at the University of Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. 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#.

Education

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

Career and research

Before joining the University of Oxford in 2014, and Microsoft Research in Cambridge,

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.

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.

References

Cardelli, Luca. (2021). "Luca Cardelli". University of Oxford.
{{MathGenealogy
"The AITO Dahl-Nygaard Prize Winners For 2007". [[Association Internationale pour les Technologies Objets]].
[https://web.archive.org/web/20081013034718/http://www.computerworld.com.au/index.php/id;1422447371;fp;4194304;fpid;1 Computerworld Interview with Luca Cardelli]
{{Google scholar id
Anon. (2013). "Cardelli, Luca".
(2011). "A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization". PLOS Computational Biology.
Cardelli, L.. (1996). "Bad engineering properties of object-orient languages". [[ACM Computing Surveys]].
(December 1985). "On understanding types, data abstraction, and polymorphism". ACM Computing Surveys.
(1996). "A theory of objects". Springer.
{{ACM Portal
{{DBLP
{{Scopus id
(1990). "Proceedings of the 17th ACM SIGPLAN-SIGACT [[Symposium on Principles of Programming Languages]] (POPL) '90".
Cardelli, Luca. (1982). "An algebraic approach to hardware description and verification". University of Edinburgh.
McIlroy, M. D.. (1987). "A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986".
"Artifacts/Fonts".
"Edsger W. Dijkstra: Brilliant, colourful, and opinionated".

Wikipedia Source

This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.

alumni-of-the-university-of-edinburgh italian-computer-scientists year-of-birth-missing-(living-people) living-people fellows-of-the-association-for-computing-machinery programming-language-researchers dna-nanotechnology-people dahl–nygaard-prize people-from-montecatini-terme italian-fellows-of-the-royal-society

Want to explore this topic further?

Ask Mako anything about Luca Cardelli — get instant answers, deeper analysis, and related topics.

Research with Mako

Free with your Surf account

Content sourced from Wikipedia, available under CC BY-SA 4.0.

This content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.

Report