A comprehensive tribute to C.A.R. (Tony) Hoare, who passed away at 92, written by Bertrand Meyer. Covers Hoare's major contributions to computer science: Quicksort (1961), axiomatic semantics and Hoare Logic (1969), programming language design including Algol W and involvement in Ada, the Structured Programming book that introduced OOP concepts, Communicating Sequential Processes (CSP) for concurrent programming, and later work on Unifying Theories of Programming and the Verified Software Grand Challenge. Meyer also reflects on Hoare's distinctive writing style, his role as a mentor and catalyst for generations of researchers at Oxford, and his personal qualities including intellectual humility and lifelong curiosity.
Sort: