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:
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."
Zie ook Filosofenprobleem
Categorie:Brits informaticus Categorie:Winnaar van de A.M. Turing Award Categorie:Hoogleraar aan de Universiteit van Oxford