Person · Open Library
- Born
- 1934-01-11
- Died
- 2026-03-05
- 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,441x
- 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,737x
- 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,222x
- 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,177x
- Effect of potentially modifiable risk factors associated with myocardial infarction in 52 countries (the INTERHEART study): case-control study
· 2004 · cited 9,026x
via Crossref · CC0
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 /
Key dates
- Born
- 11 January 1934
- Died
- 5 March 2026
via Wikidata · CC0
Wikidata facts
- Instance of
- human
- Given name
- Richard
- Gender
- male
- Citizenship
- United Kingdom
- Place of birth
- Colombo
- Place of death
- Cambridge
- Occupation
- university teacher
- Educated at
- The King's School Canterbury
- Employer
- Queen's University Belfast
- Languages spoken
- Ancient Greek
Article
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.
Gallery (2)
Connections
Categories
1934 births2026 deathsAcademics of Queen's University BelfastAlumni of Merton College, OxfordBritish computer scientistsBritish expatriates in Sri LankaBritish expatriates in the Soviet UnionBritish fellows of the Royal SocietyComputer science writersFellows of Merton College, OxfordFellows of the British Computer SocietyFellows of the Royal Academy of Engineering