Sir Charles Antony Richard Hoare
British computer scientist. Fellow of the Royal Academy of Engineering. Developed the sorting algorithm quicksort in 1959/1960. Developed Hoare logic for verifying program correctness, and the formal language CSP to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language.