Tony Hoare
| Tony Hoare | ||
|---|---|---|
 | ||
| Persoonlijke gegevens | ||
| Geboortedatum | 11 januari 1934[1] | |
| Geboorteplaats | Colombo | |
| Overlijdensdatum | 5 maart 2026[2] | |
| Overlijdensplaats | Cambridge | |
| Academische achtergrond | ||
| Alma mater | Staatsuniversiteit van Moskou, Merton College (Bachelor of Arts), Universiteit van Oxford, Dragon School, The King's School Canterbury[3] | |
| Promotor(s) | Leslie Fox,[4] Andrej Kolmogorov[5] | |
| Wetenschappelijk werk | ||
| Vakgebied(en) | informatiesystemen, informatica | |
| Bekend van | quicksort, Hoarelogica, Communicating sequential processes, null | |
| Erkenning en lidmaatschap | ||
| Lid van | Royal Society, 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) | |
| Afbeeldingen | ||
| 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[6]
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."[7]
Zie ook
[bewerken | brontekst bewerken]
· 
· 
- ↑ Nationaal Normbestand van Duitsland; geraadpleegd op: 24 april 2014.
- ↑ "Tony Hoare (1934-2026)"; geraadpleegd op: 11 maart 2026; auteur (als tekenreeks): Lance Fortnow; taal van werk of naam: Engels.
- ↑ Who's Who; Who's Who UK-identificatiecode: U20298.
- ↑ Mathematics Genealogy Project; geraadpleegd op: 28 september 2024; MGP-identificatiecode: 58746.
- ↑ Mathematics Genealogy Project; geraadpleegd op: 28 september 2024; MGP-identificatiecode: 10480.
- ↑ (en) ACM Award Citation - C. Anthony R. Hoare
- ↑ Hoare, Tony, Null References: The Billion Dollar Mistake. InfoQ.com (25 August 2009). Gearchiveerd op 16 oktober 2021.
