PERSON
Tony Hoare
British computer scientist (b. 1934), inventor of Quicksort, the null reference, and Hoare logic — Dijkstra's closest intellectual peer and co-architect of the formal methods tradition.
C.A.R. (Tony) Hoare is the British computer scientist whose 1969 paper "An Axiomatic Basis for Computer Programming" founded Hoare logic and gave Dijkstra's insistence on provable correctness its technical machinery. Hoare invented Quicksort in 1960, the null reference (which he has publicly regretted), and Communicating Sequential Processes (CSP), a foundational formalism for concurrent computation. His 1980 Turing Award lecture, "The Emperor's Old Clothes," sits alongside Dijkstra's "The Humble Programmer" as one of the two most important pieces of reflective writing the computing profession has produced. The intellectual dialogue between Hoare and Dijkstra across four decades is the single most consequential collaboration in the history of formal methods.
In The You On AI Field Guide
Hoare and Dijkstra developed their ideas in parallel and in mutual awareness, each sharpening the other's thinking. Hoare's 1969 axiomatic paper gave the logic of correctness a formal basis; Dijkstra's 1975 guarded-commands paper reformulated the logic in terms of predicate transformers that supported program derivation. The two papers together constitute the founding documents