Tony Hoare is a computer scientist whose contributions include quicksort, Hoare logic and communicating sequential processes. His industrial work included an early ALGOL 60 compiler; his institutional biography also describes an unsuccessful operating system project, giving concrete context for the difficulty of reliable systems engineering.[ref]
https://www.microsoft.com/en-us/research/people/thoare/. Institutional biography, early Elliott Brothers projects and research achievements
In his 1969 paper An Axiomatic Basis for Computer Programming by Tony Hoare, he set out assignment, composition and iteration rules for reasoning directly about program text. The assignment rule reasons backward from the required result, while a loop invariant compresses arbitrarily many iterations into a preservation obligation. The paper explicitly distinguishes these partial correctness results from successful termination and discusses how arithmetic and side effects affect the model.[ref]
Portrait of Tony Hoare
. Dennis Hamilton (orcmid), Flickr; File caption identifies FLoC 2006, 18 August 2006. Creative Commons Attribution 2.0 Generic., via Wikimedia Commons. Source.
Tony Hoare, full name Sir Charles Antony Richard Hoare, is a British computer scientist who is widely recognized for his foundational contributions to the field of computer science, particularly in programming languages and algorithms. He is best known for developing the Quicksort algorithm, one of the most efficient sorting algorithms used in practice, and for his work on the concept of "Hoare Logic," which provides a formal framework for reasoning about the correctness of computer programs.
New to topics? Read the docs here!