cover image

Tony Hoare

British computer scientist / From Wikipedia, the free encyclopedia

Dear Wikiwand AI, let's keep it short, summarize this topic like I'm... Ten years old or a College student

Sir Charles Antony Richard Hoare (Tony Hoare or C. A. R. Hoare) FRS FREng[3] (born 11 January 1934)[4] is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing.[5] His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

Quick facts: Sir Tony Hoare FRS FREng, Born, Other na...

Tony Hoare

Tony Hoare in 2011
Born
Charles Antony Richard Hoare

(1934-01-11) 11 January 1934 (age 89)
Other namesC. A. R. Hoare
Education
Known for
Awards
Scientific career
FieldsComputer science
Institutions
Doctoral students
Websitewww.cs.ox.ac.uk/people/tony.hoare
Close

Hoare developed the sorting algorithm quicksort in 1959–1960.[6] 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.[7][8][9][10][11][12] He is also credited with development (and later criticism) of the null pointer, having introduced it in the ALGOL family of languages. Since 1977, he has held positions at the University of Oxford and Microsoft Research in Cambridge.