View source for Luca Cardelli

{{Short description|Italian computer scientist}}
{{Use dmy dates|date=June 2017}}
{{Use British English|date=June 2017}}
{{Infobox scientist
| name              = Luca Cardelli
| image             = Luca Cardelli.jpg
| caption           = 
| birth_name        = Luca Andrea Cardelli
| birth_date        = <!-- {{Birth year and age|195y}} -->
| birth_place       = [[Montecatini Terme]], Italy
| honorific_suffix  = {{post-nominals|country=GBR|FRS|size=100}}
| field             = [[Theory of programming languages]]<br>[[Process algebra]]<br>[[Systems biology]]<br>[[DNA computing|Molecular Programming]]<ref name=gs/>
| workplaces        = [[Bell Labs]]<br/>[[Microsoft Research]]<br/>[[Digital Equipment Corporation]]<br/>[[University of Edinburgh]]<br/>[[University of Oxford]]<ref>{{cite web |url=https://www.cs.ox.ac.uk/people/luca.cardelli/ |title=Luca Cardelli |last=Cardelli |first=Luca |date=2021 |website=Department of Computer Science |publisher=University of Oxford}}</ref>
| alma_mater        = [[University of Pisa]]<br/> [[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''<ref name="theoryofobjects"/>
| doctoral_advisor  = [[Gordon Plotkin]]<ref name="mathgene">{{MathGenealogy|id=115506}}</ref>
| doctoral_students = 
| awards            = [[Dahl–Nygaard Prize]] (2007)<ref name="aito-2007">{{cite web |title=The AITO Dahl-Nygaard Prize Winners For 2007 |url=https://sites.google.com/aito-services.org/home/aito-dahl-nygaard/2007-winners?pli=1&authuser=1 |website=Aito |publisher=[[Association Internationale pour les Technologies Objets]] |access-date=7 December 2022}}</ref><br/>[[ACM Fellow]] (2005)
| website           = {{Official URL}}
}}

'''Luca Andrea Cardelli''' {{post-nominals|country=GBR|FRS}} is an Italian [[computer scientist]] who is a research professor at the [[University of Oxford]], UK.<ref>[https://web.archive.org/web/20081013034718/http://www.computerworld.com.au/index.php/id;1422447371;fp;4194304;fpid;1 Computerworld Interview with Luca Cardelli]</ref><ref name=gs>{{Google scholar id}}</ref><ref name="whoswho">{{Who's Who | author=Anon| title=Cardelli, Luca | id = U244893 | year = 2013 | doi =10.1093/ww/9780199540884.013.U244893 | edition = online [[Oxford University Press]]|location=Oxford}}</ref><ref>{{Cite journal |last1=Dalchau |first1=N. |last2=Phillips |first2=A. |last3=Goldstein |first3=L. D. |last4=Howarth |first4=M. |last5=Cardelli |first5=L. |last6=Emmott |first6=S. |author6-link=Stephen Emmott |last7=Elliott |first7=T. |last8=Werner |first8=J. M. |editor-last=Chakraborty |editor-first=Arup K |doi=10.1371/journal.pcbi.1002144 |title=A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization |journal=PLOS Computational Biology |volume=7 |issue=10 |page=e1002144 |year=2011 |pmid=22022238 |pmc =3195949 |bibcode=2011PLSCB...7E2144D |doi-access=free }}</ref> Cardelli is well known for his research in [[type theory]] and [[operational semantics]].<ref name="onunderstanding">{{Cite journal |last=Cardelli |first=L. |title=Bad engineering properties of object-orient languages |doi=10.1145/242224.242415 |journal=[[ACM Computing Surveys]] |volume=28 |issue=4es |pages=150–es |year=1996 |url=http://lucacardelli.name/Papers/BadPropertiesOfOO.html |s2cid=12105785|url-access=subscription }}</ref><ref name="badprop">{{Cite journal |last1=Cardelli |first1=Luca |last2=Wegner |first2=Peter |author2-link=Peter Wegner (computer scientist)|doi=10.1145/6041.6042 |title=On understanding types, data abstraction, and polymorphism |journal=ACM Computing Surveys |issn=0360-0300 |volume=17 |issue=4 |pages=471–523 |date=December 1985 |url=http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf |citeseerx=10.1.1.117.695 |s2cid=2921816}}</ref> Among other contributions, in [[programming language]]s, he helped design the language [[Modula-3]], implemented the first [[compiler]] for the (non-pure) [[Functional programming|functional]] language [[ML (programming language)|ML]], defined the concept of ''typeful programming'', and helped develop the experimental language [[Polyphonic C Sharp|Polyphonic C#]].<ref name="theoryofobjects">{{cite book |last1=Cardelli |first1=Luca |last2=Abadi |first2=Martín |author2-link=Martín Abadi |title=A theory of objects |publisher=Springer |location=Berlin |year=1996 |isbn=978-0-387-94775-4|oclc=34557380}}</ref><ref name="acm">{{ACM Portal|id=81100123805}}</ref><ref name="dblp">{{DBLP}}</ref><ref name="scopus">{{Scopus id}}</ref><ref>{{Cite book |last1=Abadi |first1=M. |author1-link=Martín Abadi |last2=Cardelli |first2=L. |last3=Curien |first3=P. L. |last4=Levy |first4=J. J. |doi=10.1145/96709.96712 |chapter=Explicit substitutions |title=Proceedings of the 17th ACM SIGPLAN-SIGACT [[Symposium on Principles of Programming Languages]] (POPL) '90 |pages=31–46 |year=1990 |isbn=978-0897913430 |citeseerx=10.1.1.22.9903 |s2cid=7265577}}</ref>

==Education==
He was born in [[Montecatini Terme]], [[Italy]]. He attended the [[University of Pisa]]<ref name="whoswho"/> before receiving his [[PhD]] from the [[University of Edinburgh]] in 1982<ref name="cardelliphd">{{cite thesis |degree=PhD |last=Cardelli |first=Luca |date=1982 |title=An algebraic approach to hardware description and verification |publisher=University of Edinburgh |id={{EThOS|uk.bl.ethos.253190}}|oclc=11197000|hdl=1842/13308|url=https://era.ed.ac.uk/handle/1842/13308|website=ed.ac.uk}}</ref> for research supervised by [[Gordon Plotkin]].<ref name=mathgene/>

==Career and research==
Before joining the [[University of Oxford]] in 2014, and [[Microsoft Research]] in [[Cambridge]],<ref name=whoswho/> UK in 1997, he worked for [[Bell Labs]] and [[Digital Equipment Corporation]],<ref name="whoswho"/> and contributed to [[Unix]] software including [[vismon]].<ref name="reader">{{cite tech report |last=McIlroy |first=M. D. |author-link=Doug McIlroy |year=1987 |url=http://www.cs.dartmouth.edu/~doug/reader.pdf |title=A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 |series=CSTR |number=139 |institution=Bell Labs}}</ref>

===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.<ref name=whoswho/> In 2007, Cardelli was awarded the Senior AITO [[Dahl–Nygaard Prize]] named for [[Ole-Johan Dahl]] and [[Kristen Nygaard]].<ref>{{cite web |url=http://www.aito.org/Dahl-Nygaard/2007.html |title=The AITO Dahl–Nygaard Prize Winners for 2007 |author=<!-- Unstated --> |date=2007 |website=Association Internationale pour les Technologies Objets |publisher=Mjølner Informatics}}</ref>

==Trivia==

Cardelli created and published the ''Dijkstra'' font, a computer typeface mimicking [[Edsger W. Dijkstra]]'s handwriting, in the late 1980s while working at [[Digital Equipment Corporation|DEC]].<ref>{{cite web |last1=Cardelli |first1=Luca |title=Artifacts/Fonts |url=http://lucacardelli.name/indexArtifacts.html |website=Luca Cardelli |access-date=19 November 2024}}</ref><ref>{{Cite web |title=Edsger W. Dijkstra: Brilliant, colourful, and opinionated |url=https://www.cwi.nl/en/about/history/e-w-dijkstra-brilliant-colourful-and-opinionated/ |website=CWI ([[Centrum voor Wiskunde en Informatica]])}}</ref>

==References==
{{Reflist}}

{{Modula, Oberon}}
{{FRS 2005}}
{{Authority control}}

{{DEFAULTSORT:Cardelli, Luca}}
[[Category:Alumni of the University of Edinburgh]]
[[Category:Italian computer scientists]]
[[Category:Year of birth missing (living people)]]
[[Category:Living people]]
[[Category:2004 fellows of the Association for Computing Machinery]]
[[Category:Programming language researchers]]
[[Category:Fellows of the Royal Society]]
[[Category:DNA nanotechnology people]]
[[Category:Dahl–Nygaard Prize]]
[[Category:People from Montecatini Terme]]