| Tony Hoare | |||
|---|---|---|---|
| Født | Charles Antony Richard Hoare 11. jan. 1934 Colombo | ||
| Død | 5. mars 2026 Cambridge | ||
| Beskjeftigelse | Informatiker, ingeniør, programmerer, skribent, universitetslærer | ||
| Akademisk grad | Dr.scient. (1985; honoris causa, deles ut av: University of Warwick) | ||
| Utdannet ved | Statsuniversitetet i Moskva (studieretning: maskinoversettelse) Merton College (akademisk grad: bachelorgrad, postgraduate diploma) University of Oxford Dragon School The King's School | ||
| Doktorgrads- veileder | Leslie Fox Andrej Kolmogorov | ||
| Ektefelle(r) | Jill Pym (1962–) | ||
| Far | Henry Samuel Malortie Hoare | ||
| Mor | Marjorie Francis Villiers | ||
| Nasjonalitet | Storbritannia | ||
| Medlem av | 7 oppføringer
| ||
| Utmerkelser | 15 oppføringer
Fellow of the Royal Society (1982)
Turing-prisen (1980) John-von-Neumann-medaljen (2011) Faradaymedaljen (1985) F.L.-Bauer-Preis (2007) Computer History Museum fellow Kyotoprisen for avansert teknologi (2000) Computer Pioneer Award (1990) Programming Languages Achievement Award (2011) Harry H. Goode Memorial Award (1981) Æresdoktor ved Universidad Complutense de Madrid (2013) Fellow of the Royal Academy of Engineering (2005) Fellow of the British Computer Society Knight Bachelor (2000) ACM Fellow (2020) | ||
Charles Antony Richard Hoare (1934–2026), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, var en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959. Han utviklet også Hoares logikk for å verifisere programmers korrekthet, og det formelle programmeringsspråket Communicating sequential processes (CSP) for å spesifisere interaksjoner mellom parallelle prosesser (deriblant de spisende flosofers problem) og var inspirasjon for programmeringsspråket occam.
Hoare mottok en rekke akademiske medlemskap, æresdoktortitler og priser for sitt virke, blant annet Turing-prisen, Harry H. Goode Memorial Award, Faradaymedaljen, Computer Pioneer Award, John von Neumann-medaljen og Royal Medal.