Tony Hoare
Tony Hoare | |||
---|---|---|---|
![]() | |||
Født | 11. jan. 1934[1][2]![]() 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] | ||
Ektefelle | Jill Pym[4] | ||
Far | Henry Samuel Malortie Hoare[5] | ||
Mor | Marjorie Francis Villiers[5] | ||
Nasjonalitet | Storbritannia[6] | ||
Medlem av | 7 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] Association for Computing Machinery (2021–) (ACM Fellow)[9] | ||
Utmerkelser | 15 oppføringer Fellow of the Royal Society Turing-prisen (1980) John-von-Neumann-medaljen (2011)[10] Faradaymedaljen (1985) F.L.-Bauer-Preis (2007) Computer History Museum fellow Kyotoprisen for avansert teknologi (2000)[11] Computer Pioneer Award (1990) Programming Languages Achievement Award (2011) Harry H. Goode Memorial Award (1981)[12] Æresdoktor ved Universidad Complutense de Madrid (2013)[13][14] Fellow of the Royal Academy of Engineering Fellow of the British Computer Society Knight Bachelor ACM Fellow (2020)[9] | ||
Tony Hoare på Commons |
Charles Antony Richard Hoare (født 11. januar 1934[15]), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[16] 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.[17][18][19][20][21]
Referanser
- ^ 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]
- ^ 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.