Tony Hoare
britisk ingeniør og informatiker From Wikipedia, the free encyclopedia
Charles Antony Richard Hoare (født 11. januar 1934[16]), vanligvis kjent som Tony Hoare eller C.A.R. Hoare, er en britisk informatiker. Han utviklet sorteringsalgoritmen Quicksort i 1959.[17] 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.[18][19][20][21][22]
Tony Hoare | |||
---|---|---|---|
![]() | |||
Født | 11. jan. 1934[1][2] (91 å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[3] Andrej Kolmogorov[4] | ||
Ektefelle | Jill Pym[5] | ||
Far | Henry Samuel Malortie Hoare[6] | ||
Mor | Marjorie Francis Villiers[6] | ||
Nasjonalitet | Storbritannia[7] | ||
Medlem av | 7 oppføringer
Royal Society
Accademia Nazionale dei Lincei Academia Europaea (1989–) (tilknytning: AE section Informatics)[8] Bayerische Akademie der Wissenschaften National Academy of Sciences (2017–) (Foreign Associate of the National Academy of Sciences) UK Computing Research Committee[9] Association for Computing Machinery (2021–) (ACM Fellow)[10] | ||
Utmerkelser | 15 oppføringer
Fellow of the Royal Society
Turing-prisen (1980) John-von-Neumann-medaljen (2011)[11] Faradaymedaljen (1985) F.L.-Bauer-Preis (2007) Computer History Museum fellow Kyotoprisen for avansert teknologi (2000)[12] Computer Pioneer Award (1990) Programming Languages Achievement Award (2011) Harry H. Goode Memorial Award (1981)[13] Æresdoktor ved Universidad Complutense de Madrid (2013)[14][15] Fellow of the Royal Academy of Engineering Fellow of the British Computer Society Knight Bachelor ACM Fellow (2020)[10] | ||
Referanser
Wikiwand - on
Seamless Wikipedia browsing. On steroids.