Luca Cardelli

E234748

Italian person computer scientist researcher

Luca Cardelli is an Italian computer scientist known for his influential work in type theory, programming language design, and the development of the Modula-3 and Polyphonic C# languages.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (1)

Label	Occurrences
Luca Cardelli canonical	7

How this entity was disambiguated

This entity first appeared as the object of triple T2092409 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Luca Cardelli
Context triple: [Robin Milner, notableStudent, Luca Cardelli]

A. Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
B. Peter Naur
Peter Naur was a Danish computer scientist and Turing Award laureate best known for his pioneering contributions to programming language design and the development of ALGOL 60.
C. Robin Milner
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
D. Dana Scott
Dana Scott is an American logician and mathematician renowned for his foundational work in domain theory, model theory, and the semantics of programming languages, for which he received the Turing Award.
E. Jeffrey D. Ullman
Jeffrey D. Ullman is a prominent American computer scientist known for his foundational contributions to database theory, algorithms, and formal languages, and for coauthoring several classic textbooks in computer science.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Luca Cardelli
Target entity description: Luca Cardelli is an Italian computer scientist known for his influential work in type theory, programming language design, and the development of the Modula-3 and Polyphonic C# languages.

A. Gordon Plotkin
Gordon Plotkin is a British computer scientist renowned for his foundational contributions to programming language semantics and domain theory.
B. Peter Naur
Peter Naur was a Danish computer scientist and Turing Award laureate best known for his pioneering contributions to programming language design and the development of ALGOL 60.
C. Robin Milner
Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.
D. Dana Scott
Dana Scott is an American logician and mathematician renowned for his foundational work in domain theory, model theory, and the semantics of programming languages, for which he received the Turing Award.
E. Jeffrey D. Ullman
Jeffrey D. Ullman is a prominent American computer scientist known for his foundational contributions to database theory, algorithms, and formal languages, and for coauthoring several classic textbooks in computer science.
F. None of above. chosen

Statements (49)

Predicate	Object
instanceOf	Italian person ⓘ computer scientist ⓘ researcher ⓘ
affiliation	Microsoft Research ⓘ University of Oxford ⓘ
almaMater	University of Pisa ⓘ
areaOfInfluence	design of modern programming languages ⓘ formal methods in software ⓘ
award	ACM SIGPLAN Programming Languages Achievement Award ⓘ
citizenship	Italy ⓘ
coAuthorOf	A Theory of Objects ⓘ papers on type systems and object calculi ⓘ
contributedTo	design of Modula-3 programming language ⓘ design of Polyphonic C# programming language ⓘ
degree	PhD in computer science ⓘ
education	University of Pisa ⓘ
employer	Microsoft Research Cambridge ⓘ University of Oxford ⓘ
era	20th century ⓘ 21st century ⓘ
field	computer science ⓘ programming languages ⓘ type theory ⓘ
knownFor	Modula-3 ⓘ Polyphonic C# ⓘ object-oriented programming theory ⓘ programming language design ⓘ research on object calculi ⓘ research on type systems ⓘ type theory ⓘ work on the semantics of programming languages ⓘ
language	English ⓘ Italian ⓘ
membership	ACM Fellow ⓘ linked to: Fellow of the Association for Computing Machinery Fellow of the Royal Society ⓘ linked to: Fellow of the Royal Society (FRS)
name	Luca Cardelli ⓘ
nationality	Italy ⓘ
notableConcept	object calculi ⓘ type systems for object-oriented languages ⓘ
notableWork	Modula-3 language report ⓘ linked to: Modula-3 Polyphonic C# language design ⓘ
occupation	computer scientist ⓘ university professor ⓘ
position	Royal Society Research Professor at University of Oxford ⓘ linked to: Royal Society Research Professor head of programming principles and tools group at Microsoft Research (past) ⓘ
researchArea	concurrent programming ⓘ distributed systems ⓘ polymorphism in programming languages ⓘ subtyping ⓘ

How these facts were elicited

Referenced by (7)

Full triples — surface form annotated when it differs from this entity's canonical label.

Robin Milner → notableStudent → Luca Cardelli ⓘ

ACM SIGPLAN Programming Languages Achievement Award → notableRecipient → Luca Cardelli ⓘ

Luca Cardelli → name → Luca Cardelli ⓘ

Mobile Ambients → introducedBy → Luca Cardelli ⓘ

subject linked to: mobile ambients

Polyphonic C# → developedBy → Luca Cardelli ⓘ

A Theory of Objects → author → Luca Cardelli ⓘ

Polyphonic C# → coDeveloper → Luca Cardelli ⓘ

subject linked to: Polyphonic C# language design

All labels observed (1)

How this entity was disambiguated Show

Statements (49)

How these facts were elicited Show

Referenced by (7)

How this entity was disambiguated

How these facts were elicited