Saltu al enhavo

Tony Hoare

El Vikipedio, la libera enciklopedio
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) Redakti la valoron en Wikidata vd
Alma mater Moskva Ŝtata Universitato
Universitato de Oksfordo
Kolegio Merton
Draka Lernejo Redakti la valoron en Wikidata vd
Familio
Patro Henry Samuel Malortie Hoare (en) Traduki Redakti la valoron en Wikidata vd
Patrino Marjorie Francis Villiers (en) Traduki Redakti la valoron en Wikidata vd
Edz(in)o Jill Pym (en) Traduki Redakti la valoron en Wikidata vd
Profesio
Okupo komputosciencisto
verkisto
programisto
inĝeniero
universitata instruisto Redakti la valoron en Wikidata vd
Laborkampo Komputado kaj komputiko Redakti la valoron en Wikidata vd
Doktoreca konsilisto Leslie Fox • Andrej Kolmogorov vd
Verkado
Verkoj rapida ordigo ❦
Hoare logic ❦
communicating sequential processes ❦
senvaloreco vd
En TTT Oficiala retejo vd
vd Fonto: Vikidatumoj
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]