The implementation of a null reference in 1965 remains the most cited error in the career of Tony Hoare, who described it as a billion-dollar mistake. Beyond this admission, his foundational contributions to computer science include the development of the quicksort algorithm, formal logic for program verification, and the specification of concurrent systems through Communicating Sequential Processes.
Early Education and Soviet Exchange
Born in Colombo in 1934, Tony Hoare received his early schooling at the Dragon School in Oxford and The King's School Canterbury. He pursued Classics and Philosophy at Merton College, University of Oxford, graduating in 1956. During his subsequent National Service in the Royal Navy, he acquired proficiency in the Russian language. This skill facilitated a period as a British Council exchange student at Lomonosov Moscow State University, where he studied machine translation under the supervision of Andrey Kolmogorov.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Contributions to Algorithms and Logic
Upon leaving the Soviet Union in 1960, Hoare joined Elliott Brothers Ltd in London. During this time, he developed the quicksort algorithm and worked on a compiler for ALGOL 60. His career path led him to academic positions, including Professor of Computing Science at Queen's University Belfast in 1968. He returned to the University of Oxford in 1977, where he led the Programming Research Group and served as the first Christopher Strachey Professor of Computing from 1988 until his retirement in 2000.
Formal Methods and Concurrency
Hoare's research centered on the structural integrity of software. He developed Hoare logic to provide an axiomatic basis for verifying program correctness. In the field of concurrent computing, he introduced Communicating Sequential Processes (CSP), a formal language designed to specify interactions between concurrent processes. His work in these areas aimed to solve reliability issues in large-scale systems, though he later acknowledged that industrial adoption of these formal methods faced significant limitations in practice.
Professional Honors and Later Years
Throughout his career, Hoare received numerous accolades, including the 1980 ACM Turing Award, the Faraday Medal in 1985, and a knighthood in 2000. He was a Fellow of the Royal Society and a member of several international organizations, including the National Academy of Sciences and the Academia Europaea. Following his retirement from Oxford, he served as a principal researcher at Microsoft Research in Cambridge. Hoare died in Cambridge on 5 March 2026.
Fast facts
- Born: 1934, Colombo
- Died: 2026, Cambridge
- Notable Algorithm: Quicksort
- Primary Field: Computer Science
- Turing Award Year: 1980
- Key Academic Roles: University of Oxford, Queen's University Belfast
- Knighted: 2000
- Languages Spoken: Latin, English, Russian, Ancient Greek
Questions readers ask
What was the billion-dollar mistake?
Hoare used this term to describe his 1965 invention of the null reference, which he implemented while designing the type system for ALGOL W, noting it led to widespread system errors.
What is Communicating Sequential Processes?
It is a formal language introduced by Hoare used to specify and describe the interactions between concurrent processes within a computer system.
Achievements
- Turing Award — 1980
- Notable work: quicksort
- Notable work: Hoare logic
- Notable work: communicating sequential processes
- Notable work: null
- Affiliated with Microsoft, University of Oxford and Queen's University Belfast
- Educated at Lomonosov Moscow State University, Merton College and University of Oxford
- Worked as computer scientist, engineer and programmer
