Skip to content

 

Fellows Directory

Antony Hoare

Antony Hoare

Sir Antony Hoare FREng FRS

Fellow


Elected: 1982

Biography

Tony Hoare is a computer scientist who has made fundamental contributions to computer programming language design and definition. His development of what is now known as ‘Hoare logic’ allows software engineers to check a program’s formal ‘correctness’ — that it behaves as intended. Nowadays, software engineering design aids are available to assist in this check.

As a young researcher in 1960, speculating on machine translation of languages, Tony developed what is one of the world’s most popular sorting algorithms — the recursion-based Quicksort. Tony’s proposals for the concurrent programming language of Communicating Sequential Processes were influential in the development of the transputer machine architecture.

On retirement from academia at the University of Oxford, Tony joined Microsoft Research as a principal researcher. His later interests included unifying the wide range of theories relating to different programming languages. Amongst Tony’s many awards are the A. M. Turing Award from the Association for Computing Machinery, the Kyoto Prize for Information Science and the IEEE John von Neumann Medal. He was knighted for services to education and computer science in 2000.

Professional positions

Consultant Principal Researcher, Microsoft Research Limited, Microsoft UK
Emeritus Professor of Software Engieering, University of Oxford

Interest and expertise

Subject groups

  • Computer sciences
    • Computer science (excl engineering aspects), Programming languages and verification
  • Engineering
    • Computer engineering (including software)
  • Other
    • Other interests

Keywords

Programming principles and tools, Concurrent programs

Awards

  • Kyoto Prize

    In the field of information science.

  • Royal Medals

    For groundbreaking contributions that have revolutionised the computer programming field, the development of "Hoare logic" that has paved the way for provably correct code, providing a robust framework for ensuring software reliability.

Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.