File:Sir_Tony_Hoare_IMG_5125.jpg · Wikimedia Commons · See Wikimedia Commons
Tony Hoare
Sign in to saveAlso known as C. A. R. Hoare, Charles Antony Richard Hoare, Sir Charles Antony Richard Hoare, C.A.R. Hoare
British computer scientist
OverviewAI-generated
Sir Charles Richard Hoare, commonly known as Tony Hoare, is a British computer scientist, engineer, and programmer. Born in Colombo in 1934, he is recognized for his contributions to informatics and computer science, including the development of quicksort, Hoare logic, communicating sequential processes, and the concept of null. His academic career includes positions at the University of Oxford, Queen's University Belfast, and Microsoft.
Hoare received his education at the Dragon School, Merton College, the University of Oxford, and Lomonosov Moscow State University, where his doctoral advisor was Andrey Kolmogorov. He is a member of the Royal Society, the Accademia Nazionale dei Lincei, the Academia Europaea, and the Bavarian Academy of Sciences and Humanities. Among his honors are the Turing Award, the IEEE John von Neumann Medal, the Faraday Medal, and the title of Fellow of the Royal Society. He speaks English, Russian, Latin, and Ancient Greek.
Synthesized by Vinony from 37 facts across 8 sources: Wikidata, Crossref, Open Library, MusicBrainz, Firecrawl, Wikiquote, Vinony collections, Vinony graph. Generated from structured data (not the Wikipedia text) and checked against those facts — may still contain errors.
Person · Open Library
- Works
- 7
Top works
- SAS : the Ambush
- Edsger Wybe Dijkstra
- Engineering Theories of Software Intensive Systems
- Born for War
- Successful Clay Pigeon Shooting
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- Atomically Thin
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline">
<mml:msub>
<mml:mi>MoS</mml:mi>
<mml:mn>2</mml:mn>
</mml:msub>
</mml:math>
: A New Direct-Gap Semiconductor
· 2010 · cited 14,586x
- Global and regional mortality from 235 causes of death for 20 age groups in 1990 and 2010: a systematic analysis for the Global Burden of Disease Study 2010
· 2012 · cited 10,798x
- A comparative risk assessment of burden of disease and injury attributable to 67 risk factors and risk factor clusters in 21 regions, 1990–2010: a systematic analysis for the Global Burden of Disease Study 2010
· 2012 · cited 9,258x
- Global, regional, and national prevalence of overweight and obesity in children and adults during 1980–2013: a systematic analysis for the Global Burden of Disease Study 2013
· 2014 · cited 9,234x
- Effect of potentially modifiable risk factors associated with myocardial infarction in 52 countries (the INTERHEART study): case-control study
· 2004 · cited 9,125x
via Crossref · CC0
Quotes
- “"The real value of tests is not that they detect bugs in the code, but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code."”
- “"The most important property of a program is whether it accomplishes the intentions of its user."”
- “I have learned more from my failures than can ever be revealed in the cold print of a scientific article. [...] [Failures] are much more fun to hear about afterwards; they are not so funny at the time.”
- “I have regarded it as the highest goal of programming language design to enable good ideas to be elegantly expressed.”
- “One fine morning, when the emperor felt hot and bored, he extricated himself carefully from under the mountain of clothes and is now living happily as a swineherd in another story. The tailor is canonized as the patron saint of all consultants, because in spite of the enormous fees he extracted, he was never able to convince his clients of his dawning realization that their clothes have no Emperor.”
- “Premature optimization is the root of all evil.”
via Wikiquote · CC BY-SA
Key facts
- Born
- Charles Antony Richard Hoare , ( 1934-01-11 ) 11 January 1934, Colombo , British Ceylon
- Died
- 5 March 2026 (2026-03-05) (aged 92), Cambridge , England
- Education
- Dragon School , The King's School, Canterbury
- Alma mater
- University of Oxford (BA, PgDip)
- Known for
- Quicksort Quickselect Hoare logic Null reference Communicating sequential processes Structured programming ALGOL
- Spouse
- Jill Pym
- Awards
- Turing Award (1980) Harry H. Goode Memorial Award (1981) Faraday Medal (1985) Computer Pioneer Award (1990) Kyoto Prize (2000) IEEE John von Neumann Medal (2011) Royal Medal (2023)
- Fields
- Computer science
- Institutions
- Elliott Brothers Queen's University Belfast University of Oxford Moscow State University Microsoft Research
- Doctoral students
- Cliff Jones Bill Roscoe Augusto Sampaio
- Website
- www .cs .ox .ac .uk /people /tony .hoare /
via Wikipedia infobox
Official website
Tony Hoare | Department of Computer Science
Tony Hoare at the Department of Computer Science
cs.ox.ac.uk →Link to the official site · 11,197 chars · not written by Vinony
~10 min read
Encyclopedic overview
Sir Charles Antony Richard Hoare (/hɔːr/ HOR; 11 January 1934 – 5 March 2026), known as Sir Tony Hoare or C. A. R. Hoare, was a British computer scientist who made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the 1980 ACM Turing Award, usually regarded as the highest distinction in computer science.
Hoare developed the sorting algorithm quicksort in 1959–1960. He developed Hoare logic, an axiomatic basis for verifying program correctness. In the semantics of concurrency, he introduced the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes, and along with Edsger Dijkstra, formulated the dining philosophers problem. From 1977 on, he held positions at the University of Oxford as well as at Microsoft Research in Cambridge.
Excerpted from Wikipedia’s “Tony Hoare” article, available under the CC BY-SA 4.0 licence.