Celebrating Tony Hoare’s mark on computer science
Summary
Bertrand Meyer’s article celebrates Tony Hoare’s enduring impact on computer science, highlighting Quicksort, Hoare logic (axiomatic semantics), CSP and concurrency, as well as Hoare’s roles as designer, mentor, and organizer. The piece blends technical exposition with personal anecdotes to illustrate how Hoare shaped theory and practice in software engineering.