C.A.R. Hoare

Tony Hoare
Charles Antony Richard Hoare
	; 2011
Data i miejsce urodzenia	11 stycznia 1934 ; Kolombo, Sri Lanka
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, Sri Lanka) – brytyjski informatyk, znany jako 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^[1].

Przypisy[edytuj | edytuj kod]

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)
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)
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)