Tony Hoare

Tony Hoare
Persona informo
Charles Antony Richard Hoare
Naskiĝo	11-an de januaro 1934 (1934-01-11) (91-jaraĝa) en Kolombo
Lingvoj	angla • rusa • latina • antikva greka vd
Loĝloko	Kembriĝo vd
Ŝtataneco	Unuiĝinta Reĝlando vd
Alma mater	Moskva Ŝtata Universitato Universitato de Oksfordo Kolegio Merton Draka Lernejo vd
Familio
Patro	Henry Samuel Malortie Hoare (en) vd
Patrino	Marjorie Francis Villiers (en) vd
Edz(in)o	Jill Pym (en) vd
Profesio
Okupo	komputosciencisto verkisto programisto inĝeniero universitata instruisto vd
Laborkampo	Komputado kaj komputiko vd
Doktoreca konsilisto	Leslie Fox • Andrej Kolmogorov vd
Verkado
Verkoj	rapida ordigo ❦ Hoare logic ❦ communicating sequential processes ❦ senvaloreco vd
Honorigoj Honorigoj (2020)  ACM Fellow (en) (2013)  honorary doctor of the University of Madrid Complutense (en) (2011)  Programming Languages Achievement Award (en) (2011)  IEEE John von Neumann Medal (en) (2007)  Friedrich L. Bauer Prize (en) (2000)  Kiota Premio pri Altnivelaj Teknikoj (1990)  Computer Pioneer Award (en) (1985)  Farado-Medalo (1981)  Harry H. Goode Memorial Award (en) (1980)  Premio Turing  Fellow of the British Computer Society (en)  Fellow of the Royal Academy of Engineering (en)  kavaliro bakalaŭro  Computer History Museum fellow (en)  Membro de la Reĝa Societo de Londono vd
Membrecoj Membrecoj Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (2021–) Usona Nacia Akademio de Sciencoj (Foreign Associate of the National Academy of Sciences (en) ) (2017–) Academia Europaea (1989–) UK Computing Research Committee (en) Bavaria Akademio de Sciencoh Nacia Akademio de la Linkoj Reĝa Societo de Londono vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj

Sir Charles Antony Richard HOARE (Tony Hoare aŭ C.A.R. Hoare) (11-an de januaro 1934) estas brita komputila sciencisto kiu faris fundamentajn kontribuojn al programaraj lingvoj, algoritmoj, funkciantaj sistemoj, formala konfirmo kaj samtempa komputiko.

Li ricevis la Premion Turing en 1980.