# Luca Cardelli

> Italian computer scientist

**Wikidata**: [Q6695862](https://www.wikidata.org/wiki/Q6695862)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Luca_Cardelli)  
**Source**: https://4ort.xyz/entity/luca-cardelli

## Summary
Luca Cardelli is an Italian computer scientist known for his foundational contributions to programming language theory, type systems, and concurrent computing. He is best recognized for developing **Polyphonic C#**, an extension of the C# language for concurrent programming, and for his influential work on type theory and formal methods in software verification.

## Biography
- **Born**: 1954, Montecatini Terme, Italy
- **Nationality**: Italian
- **Education**: PhD from the University of Edinburgh (advised by Gordon Plotkin)
- **Known for**: Advances in type systems, concurrent programming languages, and formal methods
- **Employer(s)**:
  - Digital Equipment Corporation (1985–1997)
  - Microsoft Research, UK (1997–2018, as Principal Investigator)
  - University of Oxford (current affiliation)
  - University of Pennsylvania (Adjunct Professor, 1984)
- **Field(s)**: Computer science, programming languages, type theory, concurrent computing

## Contributions
Luca Cardelli has made seminal contributions to programming language design and formal verification. His most notable work includes:
- **Polyphonic C# (2002)**: A concurrent extension of C# that introduced **join patterns** for synchronization, influencing modern concurrent programming models.
- **Type Theory**: Pioneered research on **subtyping**, **recursive types**, and **type systems for object-oriented languages**, shaping languages like Java and C#.
- **Formal Methods**: Developed algebraic approaches to hardware verification (PhD thesis, 1980s), bridging theory and practice in system design.
- **DNA Computing**: Explored computational models in biology, earning the **Tulip Award in DNA Computing (2012)**.
- **Publications**: Authored over 100 papers, including foundational works on **mobile ambients** (a calculus for mobile computation) and **session types**.

His work underpins modern programming language design, concurrency models, and formal verification tools.

## FAQs
### Q: What is Luca Cardelli best known for?
A: He is best known for **Polyphonic C#**, a concurrent programming language extension, and his foundational research on **type systems** and **formal methods** in computer science.

### Q: Where did Luca Cardelli work?
A: He worked at **Digital Equipment Corporation (1985–1997)**, **Microsoft Research (1997–2018)**, and is affiliated with the **University of Oxford**.

### Q: What awards has Luca Cardelli received?
A: He is a **Fellow of the Royal Society (2005)**, **ACM Fellow (2004)**, and recipient of the **Dahl–Nygaard Prize (2007)** and **Programming Languages Achievement Award (2015)**.

### Q: What is Polyphonic C#?
A: A 2002 extension of C# that introduced **join patterns** for concurrent programming, enabling safer and more expressive synchronization.

### Q: Who was Luca Cardelli’s doctoral advisor?
A: **Gordon Plotkin**, a renowned Scottish computer scientist.

## Why They Matter
Cardelli’s work revolutionized how programmers handle **concurrency** and **type safety**, directly influencing languages like C# and Java. His **type theory** research provided rigorous foundations for object-oriented programming, while **Polyphonic C#** demonstrated practical solutions for concurrent systems. His cross-disciplinary work in **DNA computing** and **formal verification** bridged theoretical and applied computer science, inspiring generations of researchers. Without his contributions, modern programming languages would lack critical safety and concurrency features.

## Notable For
- **Polyphonic C# (2002)**: Groundbreaking concurrent programming language extension.
- **ACM Fellow (2004)** and **Fellow of the Royal Society (2005)**.
- **Dahl–Nygaard Prize (2007)** for contributions to object-oriented programming.
- **Programming Languages Achievement Award (2015)** for lifetime impact.
- **Doctoral advisor to Gordon Plotkin**, linking him to a lineage of influential computer scientists.

## Body
### Early Life and Education
- Born in **Montecatini Terme, Italy (1954)**.
- Earned a **PhD from the University of Edinburgh**, advised by **Gordon Plotkin**.

### Career
- **Digital Equipment Corporation (1985–1997)**: Worked on programming language design and formal methods.
- **Microsoft Research (1997–2018)**: Led research on concurrency, type systems, and biological computing.
- **University of Oxford**: Current affiliation, continuing work in theoretical computer science.

### Key Research Areas
- **Type Systems**: Developed theories for subtyping, recursive types, and object-oriented languages.
- **Concurrent Programming**: Created **Polyphonic C#** (2002) to address synchronization challenges.
- **Formal Verification**: Applied algebraic methods to hardware and software verification.
- **Biological Computing**: Explored computational models in DNA, earning the **Tulip Award (2012)**.

### Awards and Honors
- **Fellow of the Royal Society (2005)**
- **ACM Fellow (2004)**
- **Dahl–Nygaard Prize (2007)**
- **Programming Languages Achievement Award (2015)**

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Luca Cardelli",
  "jobTitle": "Computer Scientist",
  "worksFor": [
    {"@type": "Organization", "name": "University of Oxford"},
    {"@type": "Organization", "name": "Microsoft Research"}
  ],
  "nationality": {"@type": "Country", "name": "Italy"},
  "birthDate": "1954",
  "birthPlace": "Montecatini Terme, Italy",
  "alumniOf": {"@type": "EducationalOrganization", "name": "University of Edinburgh"},
  "knowsAbout": ["Programming Languages", "Type Theory", "Concurrent Computing", "Formal Methods"],
  "sameAs": [
    "https://www.wikidata.org/wiki/Q11920",
    "https://en.wikipedia.org/wiki/Luca_Cardelli"
  ],
  "description": "Italian computer scientist known for contributions to programming language theory, type systems, and concurrent computing."
}

## References

1. [Source](http://editors.eptcs.org/)
2. [Source](https://orcid.org/0000-0002-8705-8488)
3. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-8705-8488/employment/5317479)
4. [ORCID Public Data File 2023](https://pub.orcid.org/v3.0/0000-0002-8705-8488/employment/5317453)
5. [Source](https://awards.acm.org/award_winners/cardelli_4301529#158)
6. Mathematics Genealogy Project
7. general catalog of BnF
8. Virtual International Authority File
9. [Source](https://awards.acm.org/fellows/award-recipients)
10. [Source](https://www.ae-info.org/ae/User/Cardelli_Luca)
11. [Source](https://www.theiet.org/impact-society/thought-leadership/expert-panels/uk-computing-research-committee-ukcrc/members-of-ukcrc/ukcrc-members/)
12. BnF authorities
13. [E-Theses Online Service](http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253190)
14. National Library of Israel Names and Subjects Authority File