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.
Aliases (2)
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
→
Royal Society Fellowship → Turing Award → |
| countryOfCitizenship |
United Kingdom
→
|
| educatedAt |
Merton College, Oxford
NERFINISHED
→
Moscow State University → University of Oxford NERFINISHED → |
| employer |
Microsoft Research Cambridge
→
Queen’s University Belfast → University of Oxford NERFINISHED → |
| familyName |
Hoare
→
|
| fieldOfWork |
computer science
→
concurrent computing → formal methods → programming languages → software engineering → |
| fullName |
Charles Antony Richard Hoare
→
|
| givenName |
Antony
→
Charles → |
| hasHonorificTitle |
FRS
→
Fellow of the Royal Society → 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
→
Hoare triple → null pointer as a billion-dollar mistake → |
| notableWork |
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
→
|
Referenced by (5)
| Subject (surface form when different) | Predicate |
|---|---|
|
ALGOL W
→
|
developer |
|
Tony Hoare
("Hoare")
→
|
familyName |
|
Tony Hoare
("Charles Antony Richard Hoare")
→
|
fullName |
|
Turing Award
→
|
hasNotableRecipient |
|
Tony Hoare
→
|
name |