Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, a well-known sorting algorithm. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes and the inspiration for the occam programming language.
WELCOME TO RICHTOPIA
- 2,781,616 all-time users
- 11 Amazing Examples of Disruptive Technology
- What Is Social Marketing? And How Does It Work?
- 17 Great Examples of Effective Leadership and Strategy
- British Entrepreneurs Top 100: From Richard Branson to J.K. Rowling, These Are the Most Influential Entrepreneurs in the UK
- 7 Wealth Habits of the World’s Richest People