Tony Hoare | |||||
---|---|---|---|---|---|
![]() | |||||
Persona informo | |||||
Charles Antony Richard Hoare | |||||
Naskiĝo | 11-an de januaro 1934 (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 | ||||
| |||||
| |||||
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.[1]
Referencoj
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.