Encyclopedia > C. A. R. Hoare

  Article Content

C. A. R. Hoare

Sir Charles Antony Richard Hoare, also known less formally as Tony Hoare, is a British computer scientist, probably best known for his discovery of Quicksort, the world's most widely used sorting algorithm, and perhaps even the world's most widely used algorithm of any kind, in 1960. He also developed Hoare logic, and the formal language Communicating Sequential Processes (CSP) used to specify the interactions of concurrent processes.

He was an Emeritus Professor of Computing at the University of Oxford and is now a senior researcher at Microsoft Research (http://research.microsoft.com/) in Cambridge, England.

He received the 1980 ACM Turing Award for "his fundamental contributions to the definition and design of programming languages". The award was presented to him at the ACM Annual Conference in Nashville, Tennessee, on October 27, 1980, by Walter Carlson[?], Chairman of the Awards committee. In his speech[1] (http://www.braithwaite-lee.com/opinions/p75-hoare.pdf), Hoare made the following oft-quoted humorous claim:-

"I conclude that there are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies and the other way is to make it so complicated that there are no obvious deficiencies."

External links

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Representative democracy

... in Britain and the rights and duties of an elected representative. Representative democracy came into particular general favour in post-industrial revolution nation ...