Tony Hoare
(Omdirigert fra «C. A. R. Hoare»)
| Tony Hoare | |||
|---|---|---|---|
 | |||
| Født | 11. jan. 1934[1][2] (90 år)Colombo | ||
| Beskjeftigelse | Informatiker, ingeniør, programmerer, skribent, universitetslærer | ||
| Utdannet ved | Statsuniversitetet i Moskva Merton College University of Oxford Dragon School | ||
| Doktorgrads- veileder | Leslie Fox[3] Andrej Kolmogorov[4] | ||
| Ektefelle | Jill Pym[5] | ||
| Far | Henry Samuel Malortie Hoare[6] | ||
| Mor | Marjorie Francis Villiers[6] | ||
| Nasjonalitet | Storbritannia[7] | ||
| Medlem av | 7 oppføringer
Royal Society
Accademia Nazionale dei Lincei Academia Europaea (1989–) (tilknytning: AE section Informatics)[8] Bayerische Akademie der Wissenschaften National Academy of Sciences (2017–) (Foreign Associate of the National Academy of Sciences) UK Computing Research Committee[9] Association for Computing Machinery (2021–) (ACM Fellow)[10] | ||
| Utmerkelser | 15 oppføringer
Fellow of the Royal Society
Turing-prisen (1980) John-von-Neumann-medaljen (2011)[11] Faradaymedaljen (1985) F.L.-Bauer-Preis (2007) Computer History Museum fellow Kyotoprisen for avansert teknologi (2000)[12] Computer Pioneer Award (1990) Programming Languages Achievement Award (2011) Harry H. Goode Memorial Award (1981)[13] Æresdoktor ved Universidad Complutense de Madrid (2013)[14][15] Fellow of the Royal Academy of Engineering Fellow of the British Computer Society Knight Bachelor ACM Fellow (2020)[10] | ||
Charles Antony Richard Hoare (født 11. januar 1934[16]), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[17] 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.[18][19][20][21][22]
Referanser
[rediger | rediger kilde]- ^ 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, Mathematics Genealogy Project-identifikator 58746, besøkt 28. september 2024[Hentet fra Wikidata]
- ^ Mathematics Genealogy Project, Mathematics Genealogy Project-identifikator 10480, besøkt 28. september 2024[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]
- ^ a b www.acm.org, besøkt 24. juni 2024[Hentet fra Wikidata]
- ^ www.ieee.org[Hentet fra Wikidata]
- ^ www.kyotoprize.org[Hentet fra Wikidata]
- ^ www.computer.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.
Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.