Tony Hoare

Fra Wikipedia, den frie encyklopedi
Hopp til navigering Hopp til søk
Tony Hoare
CAR Hoare.jpg
Født11. januar 1934 (84 år)
Colombo
Utdannet ved Statsuniversitetet i Moskva, Merton College, University of Oxford
Beskjeftigelse Informatiker, ingeniør, programmerer, skribent, universitetslærer
Nasjonalitet Storbritannia
Medlem av Royal Society, Accademia Nazionale dei Lincei, Academia Europaea, Bayerische Akademie der Wissenschaften
Utmerkelser
11 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)

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

Referanser[rediger | rediger kilde]

  1. ^ «List of Fellows». 
  2. ^ 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.
  3. ^ Antony Hoare Arkivert 3. april 2015 hos Wayback Machine., Computerhistory.org
  4. ^ C. A. R. Hoare, ACM Digital Library
  5. ^ List of publications, from Microsoft Academic Search
  6. ^ Shustek, L. (2009). «Interview: An interview with C.A.R. Hoare». Comm. ACM. 52 (3): 38–41. doi:10.1145/1467247.1467261. 
  7. ^ 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)