DOKUMEN123.COM

Membrecoj
Membrecoj	Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (2021–); Usona Nacia Akademio de Sciencoj (Eksterlanda partnero de la Nacia Akademio de Sciencoj) (2017–); Academia Europaea (1989–); Nacia Akademio de la Linkoj (socio straniero (it) ) (1988–); Bavaria Akademio de Sciencoj ; UK Computing Research Committee (en) ; Reĝa Societo de Londono vd

Honorigoj
Honorigoj	(2020) ACM Fellow (en) ; (2013) honorary doctor of the University of Madrid Complutense (en) ; (2011) IEEE John von Neumann Medal (en) ; (2011) Programming Languages Achievement Award (en) ; (2007) Friedrich L. Bauer Prize (en) ; (2005) Fellow of the Royal Academy of Engineering (en) ; (2000) Kiota Premio pri Altnivelaj Teknikoj; (2000) kavaliro bakalaŭro; (1990) Computer Pioneer Award (en) ; (1985) Farado-Medalo; (1982) Membro de la Reĝa Societo; (1981) Harry H. Goode Memorial Award (en) ; (1980) Premio Turing; Computer History Museum Fellow (en) ; Fellow of the British Computer Society (en) ; vd

**Tony Hoare**
Tony Hoare
Persona informo
	Tony Hoare
Naskonomo	Charles Antony Richard Hoare
Naskiĝo	11-an de januaro 1934; en Kolombo
Morto	5-an de marto 2026 (92-jaraĝa); en Kembriĝo
Lingvoj	angla • rusa • latina • antikva greka vd
Ŝtataneco	Unuiĝinta Reĝlando vd
Alma mater	Moskva Ŝtata Universitato - maŝintradukado ; Draka Lernejo ; Universitato de Oksfordo ; kolegio Merton - Bakalaŭro de Artoj, postgraduate diploma (en) ; The King's School Canterbury (en) vd
Familio
Patro	Henry Samuel Malortie Hoare (en) vd
Patrino	Marjorie Francis Villiers (en) vd
Edz(in)o	Jill Pym (en) (1962–) vd
Infanoj	3
Profesio
Okupo	komputosciencisto ; verkisto ; programisto ; inĝeniero ; universitata instruisto vd
Laborkampo	informadiko kaj komputiko vd
Doktoreca konsilisto	Leslie Fox • Andrej Kolmogorov vd
Verkado
Verkoj	rapida ordigo ❦; Hoare logic ❦; communicating sequential processes ❦; senvaloreco vd
Honorigoj
Honorigoj	(2020) ACM Fellow (en) ; (2013) honorary doctor of the University of Madrid Complutense (en) ; (2011) IEEE John von Neumann Medal (en) ; (2011) Programming Languages Achievement Award (en) ; (2007) Friedrich L. Bauer Prize (en) ; (2005) Fellow of the Royal Academy of Engineering (en) ; (2000) Kiota Premio pri Altnivelaj Teknikoj; (2000) kavaliro bakalaŭro; (1990) Computer Pioneer Award (en) ; (1985) Farado-Medalo; (1982) Membro de la Reĝa Societo; (1981) Harry H. Goode Memorial Award (en) ; (1980) Premio Turing; Computer History Museum Fellow (en) ; Fellow of the British Computer Society (en) ; vd
Membrecoj
Membrecoj	Asocio por Komputila Maŝinaro (ACM Fellow (en) ) (2021–); Usona Nacia Akademio de Sciencoj (Eksterlanda partnero de la Nacia Akademio de Sciencoj) (2017–); Academia Europaea (1989–); Nacia Akademio de la Linkoj (socio straniero (it) ) (1988–); Bavaria Akademio de Sciencoj ; UK Computing Research Committee (en) ; Reĝa Societo de Londono vd
En TTT	Oficiala retejo vd
vd	Fonto: Vikidatumoj
	v • d • r

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

↑ [1]

Kategorio Tony Hoare en la Vikimedia Komunejo (Multrimedaj datumoj)

Bibliotekoj

[1] [1]

[1]

Tony Hoare

Referencoj

Content Disclaimer