Tony Hoare

britisk ingeniør og informatiker From Wikipedia, the free encyclopedia

Tony Hoare

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]

Kjappe fakta Født, Beskjeftigelse ...
Tony Hoare
Thumb
Født11. jan. 1934[1][2] (91 år)
Colombo
BeskjeftigelseInformatiker, ingeniør, programmerer, skribent, universitetslærer 
Utdannet vedStatsuniversitetet i Moskva
Merton College
University of Oxford
Dragon School
Doktorgrads-
veileder
Leslie Fox[3]
Andrej Kolmogorov[4]
EktefelleJill Pym[5]
FarHenry Samuel Malortie Hoare[6]
MorMarjorie Francis Villiers[6]
NasjonalitetStorbritannia[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]

Lukk

Referanser

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.