Tony Hoare

Tony Hoare
Persoonlijke gegevens
Titulatuur/graad	Doctor of Science
Geboortedatum	11 januari 1934
Geboorteplaats	Colombo
Overlijdensdatum	5 maart 2026
Overlijdensplaats	Cambridge
Academische achtergrond
Alma mater	Staatsuniversiteit van Moskou, Merton College (Bachelor of Arts), Universiteit van Oxford, Dragon School, The King's School Canterbury
Promotor	Leslie Fox, Andrej Kolmogorov
Wetenschappelijk werk
Vakgebied	informatiesystemen, informatica
Erkenning en lidmaatschap
Lid van	Royal Society (1982), Accademia dei Lincei (21 december 1988), Academia Europaea (1989), Beierse Academie van Wetenschappen en Geesteswetenschappen, Amerikaanse Nationale Wetenschapsacademie (2017), UK Computing Research Committee, Association for Computing Machinery (13 januari 2021)
Links
	Website

Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934 – 5 maart 2026) was een Brits informaticus die het sorteeralgoritme quicksort heeft uitgevonden. Hij was "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en hij mocht zich vanaf dan Sir Tony Hoare noemen.

Hoare is ook bekend van de zogenaamde Hoaretriples. Dit is een notatie {P} S {Q}, waarin P en Q formeel-logische uitdrukkingen zijn, en S staat voor een algoritme of computerprogramma. Deze schrijfwijze betekent: als aanvankelijk P waar is, en S wordt uitgevoerd, is daarna Q waar. Hierop kan logica toegepast worden, en deze wordt gebruikt om correctheid van computerprogramma's te bewijzen.

In 1980 ontving hij de Turing Award van de Association for Computing Machinery:

For his fundamental contributions to the definition and design of programming languages.
— Association for Computing Machinery

In 1985 ontving hij de Faraday Medal. In 1998 hield hij in Den Haag de NWO-Huygens lezing; 'The science of computing and the engineering of software'.

Hij beschouwde zijn invoering van de nullreferentie in ALGOL W in 1965 als zijn grootste fout: "I call it my billion-dollar mistake."