Overview
- Hoare died on March 5, 2026 at age 92, with obituaries and personal remembrances published on March 10.
- He conceived Quicksort while studying in Moscow and later famously proved its speed in a sixpence wager at Elliott Brothers before it was implemented on their machines.
- He led development of an Algol 60 compiler at Elliott Brothers, introduced Hoare logic in 1969, co-authored Structured Programming, and created CSP, which informed Occam, Erlang and Go.
- He became Professor of Computing Science at Queen’s University Belfast in 1968, later built Oxford’s Programming Research Group from 1977, and subsequently served at Microsoft Research in Cambridge.
- He received the 1980 ACM Turing Award, the Kyoto Prize, the IEEE John von Neumann Medal, and honors from the Royal Society and Royal Academy of Engineering, along with a 2023 King’s Medal citation for advancing provably correct code.