Tony Hoare
Tony Hoare | |||||
---|---|---|---|---|---|
![]() | |||||
Persona informo | |||||
Charles Antony Richard Hoare | |||||
Naskiĝo | 11-an de januaro 1934 (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 [#] | ||||
| |||||
| |||||
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.[1]