Tony Hoare

britisk ingeniør og informatiker
(Omdirigert fra «C. A. R. Hoare»)

Charles Antony Richard Hoare (født 11. januar 1934[14]), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[15] 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.[16][17][18][19][20]

Tony Hoare
Født11. jan. 1934[1][2]Rediger på Wikidata (90 år)
Colombo
BeskjeftigelseInformatiker, ingeniør, programmerer, skribent, universitetslærer Rediger på Wikidata
Utdannet vedStatsuniversitetet i Moskva
Merton College
University of Oxford
Dragon School
Doktorgrads-
veileder
Leslie Fox[3]
EktefelleJill Pym[4]
FarHenry Samuel Malortie Hoare[5]
MorMarjorie Francis Villiers[5]
NasjonalitetStorbritannia[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)[10]
Computer Pioneer Award (1990)
Programming Languages Achievement Award (2011)
Harry H. Goode Memorial Award (1981)[11]
Æresdoktor ved Universidad Complutense de Madrid (2013)[12][13]
Fellow of the Royal Academy of Engineering
Fellow of the British Computer Society
Knight Bachelor

Referanser rediger

  1. ^ Gemeinsame Normdatei, besøkt 24. april 2014[Hentet fra Wikidata]
  2. ^ Social Networks and Archival Context, oppført som Tony Hoare, SNAC Ark-ID w6vt663z, besøkt 9. oktober 2017[Hentet fra Wikidata]
  3. ^ Mathematics Genealogy Project[Hentet fra Wikidata]
  4. ^ The Peerage person ID p14062.htm#i140620[Hentet fra Wikidata]
  5. ^ a b The Peerage[Hentet fra Wikidata]
  6. ^ LIBRIS, libris.kb.se, utgitt 18. september 2012, besøkt 24. august 2018[Hentet fra Wikidata]
  7. ^ www.ae-info.org[Hentet fra Wikidata]
  8. ^ www.theiet.org[Hentet fra Wikidata]
  9. ^ www.ieee.org[Hentet fra Wikidata]
  10. ^ www.kyotoprize.org[Hentet fra Wikidata]
  11. ^ www.computer.org[Hentet fra Wikidata]
  12. ^ www.ucm.es[Hentet fra Wikidata]
  13. ^ blogs.elpais.com[Hentet fra Wikidata]
  14. ^ «List of Fellows». Arkivert fra originalen 8. juni 2016. Besøkt 28. januar 2017. 
  15. ^ 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.
  16. ^ Antony Hoare Arkivert 3. april 2015 hos Wayback Machine., Computerhistory.org
  17. ^ C. A. R. Hoare, ACM Digital Library
  18. ^ List of publications, from Microsoft Academic Search
  19. ^ Shustek, L. (2009). «Interview: An interview with C.A.R. Hoare». Comm. ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. 
  20. ^ Hoare, C. A. R. (1974). «Monitors: An operating system structuring concept». Communications of the ACM. 17 (10): 549. doi:10.1145/355620.361161.