Alex M

RIP Tony Hoare. His "An axiomatic basis for computer programming" is one of my all time favourites CS papers.

https://blog.computationalcomplexity.org/2026/03/tony-hoare-1934-2026.html

https://dl.acm.org/doi/10.1145/363235.363259

#TonyHoare #ComputerScience

Tony Hoare (1934-2026)

Turing Award winner and former Oxford professor  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...

Mar 10 at 7:34pmWeb