Tony Hoare: Biography, Facts and Career
Who is Tony Hoare? An evergreen, sourced profile: biography, key facts and career.
Sir Charles Antony Richard Hoare ( 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.
Quick facts about Tony Hoare
- Full name: Tony Hoare
- Born: 1934-01-11
- Nationality: United Kingdom
- Known as: Author
- Wikidata ID: Q92602
Profile compiled from public Wikipedia and Wikidata data. Details can change over time.
Frequently asked questions
Who is Tony Hoare?
Sir Charles Antony Richard Hoare ( HOR; 11 January 1934 – 5 March 2026), known as Sir Tony Hoare or C.
What nationality is Tony Hoare?
Tony Hoare is United Kingdom.
When was Tony Hoare born?
Tony Hoare was born on 1934-01-11.
Sources
More in Books & Authors
Keep reading
