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 position
- Emeritus Professor of Software Engieering, University of Oxford
- Consultant Principal Researcher, Microsoft Research Limited
Subject groups
-
Computer Sciences
Computer science (excl engineering aspects), Programming languages and verification
-
Engineering and Materials Science
Computer engineering (including software)
-
Other
Other interests
Awards
-
Kyoto Prize
In the field of information science.
-
Royal Medal
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.
