Tony Hoare, the British computer scientist known for his work on Quicksort, died on March 5, 2026, at the age of 92.
Also known as Sir Charles Antony Richard Hoare, he made foundational contributions to programming languages, algorithms, operating systems, formal verification and concurrent computing. He developed Quicksort in 1959-60 and Hoare logic, an axiomatic basis for verifying program correctness.
He also introduced communicating sequential processes, or CSP, for specifying interactions of concurrent processes. His work earned him the 1980 ACM Turing Award.
Sir Charles Antony Richard Hoare (/hɔːr/ HOR; 11 January 1934 – 5 March 2026), known as 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.