Hoare

Hoare is a surname of English origin. It may refer to individuals who bear the name or to concepts named after them. The most widely known bearer is Charles Antony Richard Hoare, commonly known as Tony Hoare, a British computer scientist born in 1934. He introduced the Quicksort sorting algorithm in 1961 and developed Hoare logic in 1969, a formal method for reasoning about the correctness of computer programs.

Hoare logic provides a framework for reasoning about program behavior using preconditions, postconditions, and assertions. The central construct is the Hoare triple, written as {P} C {Q}, which expresses that if the precondition P holds before executing a program statement C, then the postcondition Q will hold afterward. Hoare’s work has had a lasting impact on programming language theory, formal verification, and software correctness, and has influenced both academic research and teaching in computer science. Beyond this, the surname Hoare is found among other individuals in various fields, though Tony Hoare is the most widely cited figure in computer science.