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

↑ Antony Hoare [online], Kyoto Prize [dostęp 2020-03-21] (ang.).

Laureaci Nagrody Turinga

XX wiek	1966: Alan Perlis 1967: Maurice V. Wilkes 1968: Richard Hamming 1969: Marvin Minsky 1970: James H. Wilkinson 1971: John McCarthy 1972: Edsger Dijkstra 1973: Charles W. Bachman 1974: Donald E. Knuth 1975: Allen Newell, Herbert Simon 1976: Michael O. Rabin, Dana S. Scott 1977: John Backus 1978: Robert W. Floyd 1979: Kenneth E. Iverson 1980: C.A.R. Hoare 1981: Edgar F. Codd 1982: Stephen A. Cook 1983: Ken Thompson, Dennis Ritchie 1984: Niklaus Wirth 1985: Richard M. Karp 1986: John Hopcroft, Robert Tarjan 1987: John Cocke 1988: Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994: Edward Feigenbaum, Raj Reddy 1995: Manuel Blum 1996: Amir Pnueli 1997: Douglas Engelbart 1998: James Gray 1999: Frederick P. Brooks, Jr. 2000: Andrew Chi-Chih Yao
XXI wiek	2001: Ole-Johan Dahl, Kristen Nygaard 2002: Ron Rivest, Adi Szamir, Leonard Adleman 2003: Alan Kay 2004: Vinton G. Cerf, Robert E. Kahn 2005: Peter Naur 2006: Frances E. Allen 2007: Edmund Clarke, Allen Emerson, Joseph Sifakis 2008: Barbara Liskov 2009: Charles P. Thacker 2010: Leslie Valiant 2011: Judea Pearl 2012: Silvio Micali, Shafrira Goldwasser 2013: Leslie Lamport 2014: Michael Stonebraker 2015: Whitfield Diffie, Martin Hellman 2016: Tim Berners-Lee 2017: John L. Hennessy, David Patterson 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun 2019: Ed Catmull, Pat Hanrahan 2020: Alfred V. Aho, Jeffrey Ullman 2021: Jack Dongarra 2022: Robert Metcalfe

XX wiek

1966: Alan Perlis
1967: Maurice V. Wilkes
1968: Richard Hamming
1969: Marvin Minsky
1970: James H. Wilkinson
1971: John McCarthy
1972: Edsger Dijkstra
1973: Charles W. Bachman
1974: Donald E. Knuth
1975: Allen Newell, Herbert Simon
1976: Michael O. Rabin, Dana S. Scott
1977: John Backus
1978: Robert W. Floyd
1979: Kenneth E. Iverson
1980: C.A.R. Hoare
1981: Edgar F. Codd
1982: Stephen A. Cook
1983: Ken Thompson, Dennis Ritchie
1984: Niklaus Wirth
1985: Richard M. Karp
1986: John Hopcroft, Robert Tarjan
1987: John Cocke
1988: Ivan Sutherland
1989: William Kahan
1990: Fernando J. Corbató
1991: Robin Milner
1992: Butler W. Lampson
1993: Juris Hartmanis, Richard E. Stearns
1994: Edward Feigenbaum, Raj Reddy
1995: Manuel Blum
1996: Amir Pnueli
1997: Douglas Engelbart
1998: James Gray
1999: Frederick P. Brooks, Jr.
2000: Andrew Chi-Chih Yao

XXI wiek

2001: Ole-Johan Dahl, Kristen Nygaard
2002: Ron Rivest, Adi Szamir, Leonard Adleman
2003: Alan Kay
2004: Vinton G. Cerf, Robert E. Kahn
2005: Peter Naur
2006: Frances E. Allen
2007: Edmund Clarke, Allen Emerson, Joseph Sifakis
2008: Barbara Liskov
2009: Charles P. Thacker
2010: Leslie Valiant
2011: Judea Pearl
2012: Silvio Micali, Shafrira Goldwasser
2013: Leslie Lamport
2014: Michael Stonebraker
2015: Whitfield Diffie, Martin Hellman
2016: Tim Berners-Lee
2017: John L. Hennessy, David Patterson
2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun
2019: Ed Catmull, Pat Hanrahan
2020: Alfred V. Aho, Jeffrey Ullman
2021: Jack Dongarra
2022: Robert Metcalfe

Laureaci Nagrody Kioto (zaawansowane technologie)

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

Laureaci Medalu Johna von Neumanna

XX wiek	1992: C. Gordon Bell 1993: Fred Brooks 1994: John Cocke 1995: Donald Knuth 1996: Carver Mead 1997: Maurice Wilkes 1998: Ivan Sutherland 1999: Douglas Engelbart 2000: John L. Hennessy i David A. Patterson
XXI wiek	2001: Butler Lampson 2002: Ole-Johan Dahl i Kristen Nygaard 2003: Alfred V. Aho 2004: Barbara Liskov 2005: Michael Stonebraker 2006: Edwin Catmull 2007: Charles P. Thacker 2008: Leslie Lamport 2009: Susan L. Graham 2010: John Hopcroft i Jeffrey Ullman 2011: C.A.R. Hoare 2012: Edward J. McCluskey 2013: Jack Dennis 2014: Cleve Moler 2015: James A. Gosling 2016: Christos Papadimitriou 2017: Vladimir Vapnik 2018: Patrick Cousot 2019: Éva Tardos 2020: Michael I. Jordan 2021: Jeff Dean 2022: Deborah Estrin 2023: Tom Leighton

XX wiek