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)
Scientific career
Fields
Computer science
Institutions
Elliott Brothers
Queen's University Belfast
University of Oxford
Moscow State University
Microsoft Research
Doctoral students
Cliff Jones[1]
Bill Roscoe[1]
Augusto Sampaio[2]
Website
www.cs.ox.ac.uk/people/tony.hoare
Sir Charles Antony Richard HoareFRS FREng,[3] also known as Tony Hoare or by his initials C. A. R. Hoare (/hɔːr/; born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing.[4] His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.
Hoare developed the sorting algorithm quicksort in 1959–1960.[5] 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.[6][7][8][9][10][11] Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge.
^ abTony Hoare at the Mathematics Genealogy Project
^Sampaio, Augusto (1993). An algebraic approach to compiler design. bodleian.ox.ac.uk (DPhil thesis). University of Oxford. OCLC 854973008. EThOS uk.bl.ethos.334903.[permanent dead link]
^"List of Fellows". Archived from the original on 8 June 2016. Retrieved 17 October 2014.
^Jones, Cliff B.; Misra, Jayadev, eds. (2021). Theories of Programming: The Life and Works of Tony Hoare. ACM Books. Vol. 39. New York, NY: Association for Computing Machinery. doi:10.1145/3477355. ISBN 978-1-4503-8728-6. S2CID 238251696.
^"Sir Antony Hoare". Computer History Museum. Archived from the original on 3 April 2015. Retrieved 22 April 2015.
^Tony Hoare author profile page at the ACM Digital Library
^C. A. R. Hoare at DBLP Bibliography Server
^Tony Hoare publications indexed by Microsoft Academic
^Shustek, L. (2009). "Interview: An interview with C.A.R. Hoare". Communications of the ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. S2CID 1868477.
^Hoare, C. A. R. (1974). "Monitors: An operating system structuring concept". Communications of the ACM. 17 (10): 549–557. doi:10.1145/355620.361161. S2CID 1005769.
^Bowen, Jonathan (8 September 2006). Oral History of Sir Antony Hoare. Hoare (Sir Antony, C.A.R.) Oral History, CHM Reference number: X3698.2007 (Report). Computer History Museum. Archived from the original on 3 July 2013. Retrieved 18 April 2014.{{cite report}}: CS1 maint: bot: original URL status unknown (link)
Sir Charles Antony Richard Hoare FRS FREng, also known as TonyHoare or by his initials C. A. R. Hoare (/hɔːr/; born 11 January 1934) is a British computer...
1969 by the British computer scientist and logician TonyHoare, and subsequently refined by Hoare and other researchers. The original ideas were seeded...
sorting algorithm. Quicksort was developed by British computer scientist TonyHoare in 1959 and published in 1961. It is still a commonly used algorithm for...
language. It is based on a proposal for ALGOL X by Niklaus Wirth and TonyHoare as a successor to ALGOL 60. ALGOL W is a relatively simple upgrade of...
Albert Alfred Hoare, known as Bert Hoare (1874–1962), South Australian politician Des Hoare (born 1934), Australian cricketer Desmond Hoare (Royal Navy...
made by Elliott Brothers in the United Kingdom. It was implemented by TonyHoare and others. It differed slightly from the reference version of ALGOL,...
error. It is one of the most common types of software weaknesses, and TonyHoare, who introduced the concept, has referred to it as a "billion dollar mistake"...
computers competing for access to tape drive peripherals. Soon after, TonyHoare gave the problem its present form. Five philosophers dine together at...
related quicksort sorting algorithm, it was developed by TonyHoare, and thus is also known as Hoare's selection algorithm. Like quicksort, it is efficient...
of the committee. ALGOL 60 inspired many languages that followed it. TonyHoare remarked: "Here is a language so far ahead of its time that it was not...
and Clojure's core.async. CSP was first described in a 1978 article by TonyHoare, but has since evolved substantially. CSP has been practically applied...
design principles: As the last paragraph of an article published in 1972, TonyHoare has provided some general advice for any software project: “So my advice...
Hoare, FRS took over the leadership in 1977. The PRG ethos is summed up by the following quotation from Strachey, found and promulgated by TonyHoare...
Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner TonyHoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John McCarthy...
mathematical formal methods. Computer scientists Edsger W. Dijkstra and TonyHoare regard instructions for computer programs as mathematical sentences and...
heraldscotland.com. 29 May 2019. "Minder 035. Poetic Justice, Innit? - Written by TonyHoare #3.11". minder.org. 1 December 2019. "Where the cast of Only Fools and...
Ershov Robert W. Floyd Jeremy Gibbons Julien Green David Gries Eric Hehner TonyHoare Jørn Jensen Katz^ Peter Landin Tom Maibaum Conor McBride John McCarthy...
into the Hindley–Milner type inference algorithm. In 1969, TonyHoare introduces the Hoare logic, a form of axiomatic semantics. In 1969, William Alvin...
Henman (born 1974), tennis player Tom Hiddleston (born 1981), actor Sir TonyHoare (born 1934), computer scientist Brent Hoberman, co-founder of lastminute...
defined using BNF. ALGOL 60 inspired many languages that followed it. TonyHoare remarked: "... it was not only an improvement on its predecessors but...
and early 1970s, with major contributions by Dijkstra, Robert W. Floyd, TonyHoare, Ole-Johan Dahl, and David Gries. P. J. Plauger, an early adopter of structured...
Edsger Dijkstra developed semaphores and later, between 1971 and 1973, TonyHoare and Per Brinch Hansen developed monitors to solve the mutual exclusion...
24 (2): 75–83. doi:10.1145/358549.358561. Cliff Jones. "C. Antony ("Tony") R. Hoare - A.M. Turing Award Laureate". Association for Computing Machinery...
needs a citation] ALGOL 60 inspired many languages that followed it. TonyHoare remarked: "Here is a language so far ahead of its time that it was not...