Tony Hoare
E18287
Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages and formal methods.
All labels observed (4)
| Label | Occurrences |
|---|---|
| Tony Hoare canonical | 9 |
| C. A. R. Hoare | 6 |
| Charles Antony Richard Hoare | 1 |
| Hoare | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4571 — 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: Tony Hoare Context triple: [Turing Award, hasNotableRecipient, Tony Hoare]
-
A.
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.
-
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.
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."
-
D.
John McCarthy
John McCarthy was an American computer scientist and cognitive scientist best known as a pioneer of artificial intelligence and the creator of the Lisp programming language.
-
E.
Andries van Dam
Andries van Dam is a pioneering computer scientist best known for his foundational work in computer graphics and hypertext systems, and for co-authoring one of the earliest and most influential computer graphics textbooks.
- 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: Tony Hoare Target entity description: Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages and formal methods.
-
A.
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.
-
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.
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."
-
D.
John McCarthy
John McCarthy was an American computer scientist and cognitive scientist best known as a pioneer of artificial intelligence and the creator of the Lisp programming language.
-
E.
Andries van Dam
Andries van Dam is a pioneering computer scientist best known for his foundational work in computer graphics and hypertext systems, and for co-authoring one of the earliest and most influential computer graphics textbooks.
- F. None of above. chosen
Statements (50)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ human ⓘ |
| academicDegree |
Bachelor of Arts in Classics
ⓘ
postgraduate degree in statistics ⓘ |
| awardReceived |
ACM A.M. Turing Award
ⓘ
linked to:
Turing Award
Royal Society Fellowship ⓘ
linked to:
Fellow of the Royal Society (FRS)
Turing Award ⓘ |
| countryOfCitizenship | United Kingdom ⓘ |
| educatedAt |
Merton College, Oxford
ⓘ
Moscow State University ⓘ University of Oxford ⓘ |
| employer |
Microsoft Research Cambridge
ⓘ
Queen’s University Belfast ⓘ University of Oxford ⓘ |
| familyName |
Hoare
ⓘ
linked to:
Tony Hoare
|
| fieldOfWork |
computer science
ⓘ
concurrent computing ⓘ formal methods ⓘ programming languages ⓘ software engineering ⓘ |
| fullName |
Charles Antony Richard Hoare
ⓘ
linked to:
Tony Hoare
|
| givenName |
Antony
ⓘ
Charles ⓘ |
| hasHonorificTitle |
FRS
ⓘ
Fellow of the Royal Society ⓘ
linked to:
Fellow of the Royal Society (FRS)
Sir ⓘ |
| knownFor |
contributions to formal verification
ⓘ
development of Hoare logic ⓘ development of the Quicksort algorithm ⓘ foundational work in programming language theory ⓘ introduction of the null reference ⓘ work on Communicating Sequential Processes ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf |
Association for Computing Machinery
ⓘ
Royal Society ⓘ |
| name | Tony Hoare ⓘ |
| nationality | British ⓘ |
| notableIdea |
CSP process algebra
ⓘ
linked to:
CSP (Communicating Sequential Processes)
Hoare triple ⓘ
linked to:
Hoare logic
null pointer as a billion-dollar mistake ⓘ |
| notableWork |
Communicating Sequential Processes
ⓘ
linked to:
CSP (Communicating Sequential Processes)
Hoare logic ⓘ Quicksort ⓘ axiomatic basis for computer programming ⓘ null reference concept ⓘ |
| positionHeld |
Professor of Computing Science at Queen’s University Belfast
ⓘ
Professor of Computing at the University of Oxford ⓘ senior researcher at Microsoft Research Cambridge ⓘ |
| sexOrGender | male ⓘ |
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: Tony Hoare Description of subject: Tony Hoare is a British computer scientist best known for developing the Quicksort algorithm and making foundational contributions to programming languages and formal methods.
Referenced by (17)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Tony Hoare
linked to: Tony Hoare
linked to: Tony Hoare
linked to: Tony Hoare
linked to: Tony Hoare
linked to: Tony Hoare
linked to: Tony Hoare
linked to: Tony Hoare
subject linked to:
University of Cambridge (at time of Conway’s work in combinatorial games)