Tony Hoare, C. A. R. Hoare

IRL Name: 
Sir Charles Antony Richard Hoare

Sir Charles Antony Richard Hoare is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, a well-known sorting algorithm. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.


His interest in computing was awakened in the early fifties, when he studied philosophy (together with Latin and Greek) at Oxford University, under the tutelage of John Lucas.