Tony Hoare

britisk ingeniør og informatiker

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