Search results
In 1959 Hoare moved to Russia for graduate work in probability theory and computer translation of human languages at Moscow State University. At that time, Hoare devised Quicksort, a computer algorithm for efficiently looking up information in computer tables.
- William L. Hosch
People also ask
How did Tony Hoare influence computer science?
Who is Tony Hoare?
Does Tony Hoare have a book on programming?
What is Hoare logic?
In 1959, as a graduate student at Moscow State University, he studied the machine translation of languages (together with probability theory, in the school of Kolmogorov). To assist in efficient look-up of words in a dictionary, he discovered the well-known sorting algorithm Quicksort.
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification.
It provides an in-depth discussion the influence of his work on current research. Apart from the Turing Prize, Tony Hoare was awarded the Kyoto Prize in 2000, the year he was also Knighted by the Queen for services to education and computer science.
Biography. 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." Achievements. Implementation of the first compiler for Algol 60 at Elliott Brothers.
Nov 11, 2015 · However, the origins of computer science itself date back several millennia, to the teachings of the most famous philosophers of the ancient world. The Roundhouse public lecture series,...
- 64 min
- 10.6K
- Department of Computer Science, University of York
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.
