Tony Hoare

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
C.A.R. Hoare

Charles Anthony Richard Hoare (Colombo (toenmalig Ceylon), 11 januari 1934) is een Brits informaticus wiens naam altijd verbonden zal blijven aan het door hem uitgevonden sorteeralgoritme quicksort. 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 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[1]

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'.

Zie ook[bewerken]


Bronnen, noten en/of referenties