Encyclopedia > Tony Hoare

  Article Content

C. A. R. Hoare

Redirected from Tony 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
Shoreham, New York

... the village the population is spread out with 27.6% under the age of 18, 6.2% from 18 to 24, 17.7% from 25 to 44, 36.0% from 45 to 64, and 12.5% who are 65 years of ...

 
 
 
This page was created in 28.8 ms