Tony Hoare

El Vikipedio, la libera enciklopedio
Tony Hoare
Sir Tony Hoare IMG 5125.jpg
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 komputikistoinĝenieroprogramistoverkisto • 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
Wikidata-logo.svg
Information icon.svg
vdr

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[redakti | redakti fonton]