Celebrating Tony Hoare's mark on computer science

Tony Hoare, who passed away at age 92, made numerous landmark contributions to computer science including Quicksort, axiomatic semantics (Hoare Logic), and Communicating Sequential Processes (CSP). His career uniquely bridged industry and academia, beginning as a programmer before becoming a leading computer science professor, and his work was distinguished by an elegant, focused scientific and literary style. Trained in classics at Oxford without a doctorate, he stands among brilliant British CS pioneers like Turing, Milner, and Strachey.