Tony Hoare

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.

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
v • d • r

Li ricevis la Premion Turing en 1980.^[1]