Tony Hoare

Tony Hoare
Persona informo
Charles Antony Richard Hoare
Naskiĝo	11-an de januaro 1934 (1934-01-11) (90-jaraĝa) en Kolombo
Lingvoj	angla vd
Loĝloko	Kembriĝo vd
Ŝtataneco	Unuiĝinta Reĝlando (Britio) vd
Alma mater	Moskva Ŝtata Universitato • Kolegio Merton • Universitato de Oksfordo • Draka Lernejo vd
Familio
Patro	Henry Samuel Malortie Hoare vd
Patrino	Marjorie Francis Villiers vd
Edz(in)o	Jill Pym vd
Profesio
Okupo	komputosciencisto • inĝeniero • programisto • verkisto • universitata instruisto vd
Laborkampo	komputado • komputiko vd
Doktoreca konsilisto	Leslie Fox vd
Verkado
Verkoj	rapida ordigo ❦ Hoare logic ❦ communicating sequential processes ❦ senvaloreco vd
Honorigoj Honorigoj Membro de la Reĝa Societo de Londono • Premio Turing • IEEE John von Neumann Medal • Farado-Medalo • Friedrich L. Bauer Prize • Computer History Museum fellow • Kiota Premio pri Altnivelaj Teknikoj • Computer Pioneer Award • Programming Languages Achievement Award • Harry H. Goode Memorial Award • honorary doctor of the University of Madrid Complutense • Fellow of the Royal Academy of Engineering • Fellow of the British Computer Society • Knight Bachelor vd
Membrecoj Membrecoj Reĝa Societo de Londono • Nacia Akademio de la Linkoj • Academia Europaea • Bavaria Akademio de la Scienco • Usona Nacia Akademio de Sciencoj • UK Computing Research Committee 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.