/ via heidelberg laureate forum /
We bid farewell to the computer scientist Sir Charles Antony Richard Hoare, who passed away on March 5, 2026, at the age of 92. He received the 1980 ACM A.M. Turing Award for “fundamental contributions to the definition and design of programming languages,” in addition to his countless contributions over a career spanning six decades. His accomplishments include having developed the sorting algorithm quicksort, as well as creating Hoare Logic, an axiomatic basis for verifying program correctness, to name just a few.
