Tony Hoare

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
Tony Hoare
Sir Tony Hoare IMG 5125.jpg
Født11. januar 1934[1][2]Rediger på Wikidata (86 år)
ColomboRediger på Wikidata
Far Henry Samuel Malortie HoareRediger på Wikidata
Mor Marjorie Francis VilliersRediger på Wikidata
Utdannet ved Statsuniversitetet i Moskva, Merton College, University of Oxford, Dragon SchoolRediger på Wikidata
Beskjeftigelse Informatiker, ingeniør, programmerer, skribent, universitetslærerRediger på Wikidata
Nasjonalitet StorbritanniaRediger på Wikidata
Medlem av Royal Society, Accademia Nazionale dei Lincei, Academia Europaea (1989–), Bayerische Akademie der Wissenschaften, National Academy of Sciences (2017–)Rediger på Wikidata
Utmerkelser
14 oppføringer
Fellow of the Royal Society, Turing-prisen (1980), John-von-Neumann-medaljen (2011), 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 (2012), Kyotoprisen, Fellow of the Royal Academy of Engineering, Fellow of the British Computer SocietyRediger på Wikidata

Charles Antony Richard Hoare (født 11. januar 1934[3]), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[4] 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.[5][6][7][8][9]

Referanser[rediger | rediger kilde]

  1. ^ Gemeinsame Normdatei, 24. apr. 2014
  2. ^ Social Networks and Archival Context, 9. okt. 2017, Tony Hoare, w6vt663z
  3. ^ «List of Fellows». 
  4. ^ 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.
  5. ^ Antony Hoare Arkivert 3. april 2015 hos Wayback Machine., Computerhistory.org
  6. ^ C. A. R. Hoare, ACM Digital Library
  7. ^ List of publications, from Microsoft Academic Search
  8. ^ Shustek, L. (2009). «Interview: An interview with C.A.R. Hoare». Comm. ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. 
  9. ^ Hoare, C. A. R. (1974). «Monitors: An operating system structuring concept». Communications of the ACM. 17 (10): 549. doi:10.1145/355620.361161. 
personstubbDenne biografien er foreløpig kort eller mangelfull, og du kan hjelpe Wikipedia ved å utvide den. (Se stilmanual)