Tony Hoare

Tony Hoare
Persona informo
Charles Antony Richard Hoare
Naskiĝo	11-an de januaro 1934 (1934-01-11) (89-jara) en Kolombo
Lingvoj	angla [#]
Loĝloko	Kembriĝo [#]
Ŝtataneco	Unuiĝinta Reĝlando [#]
Alma mater	Moskva Ŝtata Universitato • Kolegio Merton • Universitato de Oksfordo • Draka Lernejo [#]
Familio
Patro	Henry Samuel Malortie Hoare [#]
Patrino	Marjorie Francis Villiers [#]
Edz(in)o	Jill Pym [#]
Profesio
Okupo	komputikisto • inĝeniero • programisto • verkisto • universitata instruisto [#]
Laborkampo	komputado • komputiko [#]
Doktoreca konsilisto	Leslie Fox [#]
Verkado
Verkoj	rapida ordigo ❦ Hoare logic ❦ communicating sequential processes ❦ senvaloreco [#]
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 [#]
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 [#]
En TTT	Oficiala retejo [#]
[#]	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.