Leslie Lamport
E19144
Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Leslie Lamport canonical | 16 |
| Lamport | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4573 — 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: Leslie Lamport Context triple: [Turing Award, hasNotableRecipient, Leslie Lamport]
-
A.
Barbara Liskov
Barbara Liskov is an American computer scientist renowned for her pioneering work in programming languages, data abstraction, and distributed systems, and is one of the first women to receive the Turing Award.
-
B.
Alan Perlis
Alan Perlis was an American computer scientist and educator renowned for his pioneering work in programming languages and for being the first recipient of the Turing Award.
-
C.
Tony Hoare
Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages and formal methods.
-
D.
Edsger W. Dijkstra
Edsger W. Dijkstra was a pioneering Dutch computer scientist known for fundamental contributions to algorithms, programming languages, and software engineering, including Dijkstra's algorithm for shortest paths.
-
E.
Donald E. Knuth
Donald E. Knuth is an American computer scientist renowned for founding the rigorous analysis of algorithms and authoring the seminal multi-volume work "The Art of Computer Programming."
- 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: Leslie Lamport Target entity description: Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.
-
A.
Barbara Liskov
Barbara Liskov is an American computer scientist renowned for her pioneering work in programming languages, data abstraction, and distributed systems, and is one of the first women to receive the Turing Award.
-
B.
Alan Perlis
Alan Perlis was an American computer scientist and educator renowned for his pioneering work in programming languages and for being the first recipient of the Turing Award.
-
C.
Tony Hoare
Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages and formal methods.
-
D.
Edsger W. Dijkstra
Edsger W. Dijkstra was a pioneering Dutch computer scientist known for fundamental contributions to algorithms, programming languages, and software engineering, including Dijkstra's algorithm for shortest paths.
-
E.
Donald E. Knuth
Donald E. Knuth is an American computer scientist renowned for founding the rigorous analysis of algorithms and authoring the seminal multi-volume work "The Art of Computer Programming."
- F. None of above. chosen
Statements (50)
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Leslie Lamport Description of subject: Leslie Lamport is an American computer scientist renowned for his foundational work in distributed systems, concurrency, and formal methods, including the development of the Paxos consensus algorithm and the LaTeX document preparation system.
Referenced by (17)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Lamport
subject surface form:
Time, Clocks, and the Ordering of Events in a Distributed System
subject surface form:
The Part-Time Parliament
"How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"
→
author
→
Leslie Lamport
ⓘ
subject surface form:
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs