Charles Hoare
Name: Charles Antony Richard Hoare Born: January 11, 1934, in Colombo, Sri Lanka Computer-related contributions British computer scientist best known for developing the Quicksort algorithm. Developed a Hoare Logic, a formal system of verifying program correctness, and CSP (Communicating Sequential Processes), a formal language for describing concurrent processes. Oversaw the development of the occam programming language. Significant publications Structured Programming (1972). Communicating Sequential Processes (1985). Mechanised Reasoning and Hardware Design (1992)....