Sir Charles Antony Richard Hoare is a British computer scientist who recieved the ACM Turing Award for "his fundamental contributions to the definition and design of programming languages." He is best known for the development of Quicksort, a widely used sorting algorithm. Hoare has also worked with Hoare logic and created the formal language Communicating Sequential Processes (CSP) to describe concurrency. This site provides information about Hoare and his influential works.