01 · A life in computing
The person behind the work
Tony Hoare developed ideas that made programs both faster and easier to reason about. He invented Quicksort and introduced a logic for expressing what must hold before and after a program runs. His later work on communicating sequential processes provided a framework for concurrent systems. At Oxford he combined language design, formal specification, and verification in a sustained effort to improve software reliability.
The contribution, explained
Tony Hoare developed fundamental ideas in programming languages and program reasoning. Hoare logic relates a command to a condition before it runs and a condition afterwards. His work also includes Quicksort and models of communicating processes. The award recognised a wide contribution to defining and developing programming.
Why it matters
Explicit contracts make it easier to understand how components fit together and what a correct implementation must preserve.