Charles Antony Richard Hoare

Tony Hoare
Charles Antony Richard Hoare
	; 2011
Data i miejsce urodzenia	11 stycznia 1934 ; Kolombo, Cejlon
Zawód, zajęcie	informatyk
Miejsce zamieszkania	Cambridge
Alma Mater	Merton College, Moskiewski Uniwersytet Państwowy
	Multimedia w Wikimedia Commons
	Strona internetowa

Charles Antony Richard Hoare Tony Hoare (ur. 11 stycznia 1934 w Kolombo)^[1] – brytyjski informatyk, twórca algorytmu sortowania quicksort.

Stworzył także logikę Hoare’a służącą do weryfikowania poprawności programów oraz stworzył język formalny Communicating Sequential Processes (CSP) używany do specyfikowania interakcji współbieżnych procesów (zob. problem ucztujących filozofów). Przyczynił się do powstania języka programowania Occam.

W 1980 roku, w dowód uznania za wkład w rozwój języków programowania, otrzymał nagrodę Turinga. Laureat Nagrody Kioto w dziedznie zaawansowanych technologii w 2000 roku^[2].

Przypisy

↑ Charles Antony Richard Hoare, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2024-05-22] .
↑ Antony Hoare [online], Kyoto Prize [dostęp 2020-03-21] (ang.).

Elektronika	Rudolf Kalman (1985) Amos E. Joel Jr. (1989) Jack Kilby (1993) Federico Faggin/Stanley Mazor/Marcian Edward Hoff Jr./Masatoshi Shima (1997) Żores Ałfiorow/Izuo Hayashi/Morton B. Panish (2001) George H. Heilmeier (2005) Isamu Akasaki (2009) Robert H. Dennard (2013) Takashi Mimura (2017) Carver Mead (2022)
Biotechnologia i technologia medyczna	Nicole Marthe Le Douarin (1986) Sydney Brenner (1990) Paul Lauterbur (1994) Kurt Wüthrich (1998) Leroy Edward Hood (2002) Leonard Herzenberg (2006) Shin’ya Yamanaka (2010) Robert Langer (2014) Karl Deisseroth (2018) Ryuzo Yanagimachi (2023)
Nauki materiałowe i inżynieria	Morris Cohen (1987) Michael Szwarc (1991) George William Gray (1995) W. David Kingery (1999) George McClelland Whitesides (2003) Hiroo Inokuchi (2007) John Werner Cahn (2011) Toyoki Kunitake (2015) Ching W. Tang (2019) John Pendry (2024)
Nauki informacyjne	John McCarthy (1988) Maurice Wilkes (1992) Donald Knuth (1996) Antony Hoare (2000) Alan Kay (2004) Richard Karp (2008) Ivan Sutherland (2012) Takeo Kanade (2016) Andrew Yao (2021)