Sir Charles Antony Richard Hoare
1981 Harry H. Goode Memorial Award Recipient
"In recognition of his pioneering work in the formal semantics of programming languages to aid in the proof of correctness of program, his contributions towards applying formal discipline to the program development process, and his deep insight into the process of programming language design which has been invaluable to designers of a wide range of structured programming languages"
In 1960, he left the Soviet Union and began working at Elliott Brothers, Ltd, a small computer manufacturing firm, where he implemented ALGOL 60 and began developing algorithms in earnest. He became a Professor of Computing Science at the Queen's University of Belfast in 1968, and in 1977 moved back to Oxford as a Professor of Computing to lead the Programming Research Group in the Oxford University Computing Laboratory, following the death of Christopher Strachey. He is now an Emeritus Professor there, and is also a senior researcher at Microsoft Research in Cambridge, England.
His most significant work has been in the following areas: devising a widely-used sorting algorithm (Quicksort), Hoare logic, the formal language Communicating Sequential Processes (CSP) used to specify the interactions between concurrent processes, structuring computer operating systems using the monitor concept, and the axiomatic specification of programming languages.