Tony Hoare
britisk ingeniør og informatiker
Charles Antony Richard Hoare (født 11. januar 1934[12]), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[13] Han har også utviklet 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.[14][15][16][17][18]
| Tony Hoare | |||
|---|---|---|---|
 | |||
| Født | 11. jan. 1934[1][2] (89 år)Colombo | ||
| Beskjeftigelse | |||
| Utdannet ved | Statsuniversitetet i Moskva Merton College University of Oxford Dragon School | ||
| Doktorgrads- veileder | Leslie Fox[3] | ||
| Ektefelle | Jill Pym[4] | ||
| Far | Henry Samuel Malortie Hoare[5] | ||
| Mor | Marjorie Francis Villiers[5] | ||
| Nasjonalitet | Storbritannia[6] | ||
| Medlem av | 6 oppføringer
Royal Society
Accademia Nazionale dei Lincei Academia Europaea (1989–) (tilknytning: AE section Informatics)[7] Bayerische Akademie der Wissenschaften National Academy of Sciences (2017–) (Foreign Associate of the National Academy of Sciences) UK Computing Research Committee[8] | ||
| Utmerkelser | 14 oppføringer
Fellow of the Royal Society
Turing-prisen (1980) John-von-Neumann-medaljen (2011)[9] 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)[10][11] Fellow of the Royal Academy of Engineering Fellow of the British Computer Society Knight Bachelor | ||
Referanser Rediger
- ^ Gemeinsame Normdatei, besøkt 24. april 2014[Hentet fra Wikidata]
- ^ Social Networks and Archival Context, oppført som Tony Hoare, SNAC Ark-ID w6vt663z, besøkt 9. oktober 2017[Hentet fra Wikidata]
- ^ Mathematics Genealogy Project[Hentet fra Wikidata]
- ^ The Peerage person ID p14062.htm#i140620[Hentet fra Wikidata]
- ^ a b The Peerage[Hentet fra Wikidata]
- ^ LIBRIS, libris.kb.se, utgitt 18. september 2012, besøkt 24. august 2018[Hentet fra Wikidata]
- ^ www.ae-info.org[Hentet fra Wikidata]
- ^ www.theiet.org[Hentet fra Wikidata]
- ^ www.ieee.org[Hentet fra Wikidata]
- ^ www.ucm.es[Hentet fra Wikidata]
- ^ blogs.elpais.com[Hentet fra Wikidata]
- ^ «List of Fellows». Arkivert fra originalen 8. juni 2016. Besøkt 28. januar 2017.
- ^ In 1959, while studying machine translation of languages in Moscow, he invented the now well-known sorting algorithm, "Quicksort." Arkivert 3. april 2015 hos Wayback Machine.
- ^ Antony Hoare Arkivert 3. april 2015 hos Wayback Machine., Computerhistory.org
- ^ C. A. R. Hoare, ACM Digital Library
- ^ List of publications, from Microsoft Academic Search
- ^ Shustek, L. (2009). «Interview: An interview with C.A.R. Hoare». Comm. ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261.
- ^ Hoare, C. A. R. (1974). «Monitors: An operating system structuring concept». Communications of the ACM. 17 (10): 549. doi:10.1145/355620.361161.
