Tony Hoare
Hopp til navigering
Hopp til søk
| Tony Hoare | |||
|---|---|---|---|
 | |||
| Født | 11. jan. 1934[1][2] (89 å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 |
||
| Ektefelle | Jill Pym[3] |
||
| Far | Henry Samuel Malortie Hoare[4] |
||
| Mor | Marjorie Francis Villiers[4] |
||
| Nasjonalitet | Storbritannia |
||
| Medlem av | 6 oppføringer
Royal Society, Accademia Nazionale dei Lincei, Academia Europaea (1989–), Bayerische Akademie der Wissenschaften, National Academy of Sciences (2017–), UK Computing Research Committee
|
||
| Utmerkelser | 14 oppføringer
Fellow of the Royal Society, Turing-prisen (1980), John-von-Neumann-medaljen (2011)[5], 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)[6][7], Fellow of the Royal Academy of Engineering, Fellow of the British Computer Society, Knight Bachelor
|
||
Charles Antony Richard Hoare (født 11. januar 1934[8]), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[9] 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.[10][11][12][13][14]
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]
- ^ The Peerage person ID p14062.htm#i140620[Hentet fra Wikidata]
- ^ a b The Peerage[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.
