Dit is een oude versie van deze pagina, bewerkt door Kippenbot1(overleg | bijdragen) op 7 aug 2018 om 02:59. (N.a.v. hernoeming/verwijdering categorie) Deze versie kan sterk verschillen van de huidige versie van deze pagina.
Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari1934) is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritmequicksort. Hij is "James Martin Professor of Computing" aan de Universiteit van Oxford, met emeritaat. In 2000 werd Hoare geridderd en mag zich sindsdien Sir Tony Hoare noemen.
Hoare is ook bekend van de zogenaamde Hoaretriples. Dit is een notatie {P} S {Q}, waarin P en Qformeel-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.