Pioneers

Tony Hoare

Also Known As C. A. R. Hoare

Computer Scientist

Citation Formats

General Reference

Computing Atlas. "Tony Hoare." Accessed August 30, 2026. https://dev-computing.interactiveatlas.org/pioneers/tony-hoare.

APA Style

Computing Atlas. (n.d.). Tony Hoare. Retrieved August 30, 2026, from https://dev-computing.interactiveatlas.org/pioneers/tony-hoare

BibTeX

@misc{computingatlas-tony-hoare,
  author = {Computing Atlas},
  title = {Tony Hoare},
  year = {2026},
  url = {https://dev-computing.interactiveatlas.org/pioneers/tony-hoare},
  note = {Accessed August 30, 2026}
}

Sir Charles Antony Richard Hoare is a British computer scientist whose foundational contributions run through programming languages, algorithms, operating systems, formal verification and concurrent computing. He developed quicksort in 1959 to 1960 and Hoare logic for verifying program correctness, and won the 1980 Turing Award. He later called his 1965 invention of the null reference his billion dollar mistake, an honest accounting this atlas quotes with approval.

Facts

Birth Year

1934 1

Born 11 January 1934.

Nationality

British 1

Cross-Tradition Connections

Associated With

Formal Methods

Tony Hoare's 1969 paper An Axiomatic Basis for Computer Programming introduced Hoare logic, a foundational formal system for reasoning about program correctness, already cited on this field's own origin-year fact.

Source Wikipedia: Tony Hoare