Yahoo Web Search

Sign In

Search results

  1. en.wikipedia.org › wiki › Tony_HoareTony Hoare - Wikipedia

    Sir Charles Antony Richard Hoare FRS FREng, also known as Tony Hoare or by his initials C. A. R. Hoare (/ h ɔːr /; born 11 January 1934) is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing.

    • C. A. R. Hoare

  2. www.britannica.com › biography › Tony-HoareTony Hoare | Biography & Facts | Britannica

    May 1, 2024 · Tony Hoare (born January 11, 1934, Colombo, Sri Lanka) is a British computer scientist and winner of the 1980 A.M. Turing Award, the highest honour in computer science, for “his fundamental contributions to the definition and design of programming languages.”

    • William L. Hosch

  3. amturing.acm.org › award_winners › hoare_4622167C. Antony R. Hoare - A.M. Turing Award Laureate

    Tony Hoare is a British computer scientist who received the ACM Turing Award in 1980 for his fundamental contributions to the definition and design of programming languages. He invented the Quicksort algorithm, developed the Hoare triple for reasoning about programs, and explored the challenges of concurrency and software engineering.

  4. Videos

    View all

  5. www.microsoft.com › en-us › researchTony Hoare at Microsoft Research

    Tony Hoare is a computer science legend who has conducted research in programming languages, software engineering, and verified software for over six decades. He is known for his contributions to Quicksort, Hoare logic, Communicating Sequential Processes, and the Verified Software Initiative, among others.

  6. www.cs.ox.ac.uk › people › tonyTony Hoare | Department of Computer Science

    Tony Hoare is a leading figure in computing research and education, known for his work on programming languages, concurrency, and software engineering. He has a long and influential career at Oxford University, where he founded the Programming Research Group and led the design and delivery of the first commercial compiler for Algol 60. He is a Fellow of the Royal Society and has published many influential papers and books on computing topics.

  7. Images

    • Entrevista a Sir Tony Hoare (I) >> El Año de Turing >> Blogs EL PAÍS
    • Tony Hoare | Sir Tony Hoare FRS, distinguished British Compu… | Flickr
    • Tony Hoare - Alchetron, The Free Social Encyclopedia
    • Tony Hoare - Alchetron, The Free Social Encyclopedia
    • Tony Hoare, 1980 ACM Turing Award Recipient - YouTube

    View all

  8. cs.stanford.edu › projects › tony-hoareTony Hoare >> Biography - Stanford University

    Learn about the life and achievements of Tony Hoare, a leading figure in computer science who won the ACM Turing Award and the Kyoto Prize. Find out his background, education, research, and quotations on programming languages, design, and computing.

  9. dl.acm.org › doi › bookTheories of Programming: The Life and Works of Tony Hoare ...

    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.

  10. People also ask

  1. Related searches

    People

    Show more

  2. Searches related to Tony Hoare

    tony hoare contributionpalmer
    sir tony hoaretony hoare jlg
    tony hoare writer
  2. People also search for