Computer scientist known for Quicksort, Hoare logic and influential work on programming languages.
A formal language and theory for describing systems of concurrent processes that interact by communication, providing a rigorous basis for reasoning about concurrency.