Sir Charles Antony Richard Hoare (Tony Hoare, ur. 11 stycznia 1934 w Kolombo, Sri Lanka) - brytyjski informatyk, znany jako twórca algorytmu sortowania quicksort. Rozwinął 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ę także 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.
Zobacz też:
|
Laureaci Nagrody Turinga |
|
1966: Alan Perlis
1967: Maurice Wilkes
1968: Richard Hamming
1969: Marvin Minsky
1970: James H. Wilkinson
1971: John McCarthy
1972: Edsger Dijkstra
1973: Charles Bachman
1974: Donald Knuth
1975: Allen Newell, Herbert Simon
1976: Michael O. Rabin, Dana Scott
1977: John Backus
1978: Robert W. Floyd
1979: Kenneth E. Iverson
1980: C.A.R. Hoare
1981: Edgar Frank Codd
1982: Stephen A. Cook
1983: Ken Thompson, Dennis Ritchie
1984: Niklaus Wirth
1985: Richard Karp
1986: John Hopcroft, Robert Tarjan
1987: John Cocke
1988: Ivan Sutherland
1989: William Kahan
1990: Fernando Corbató
1991: Robin Milner
1992: Butler Lampson
1993: Juris Hartmanis, Richard Stearns
1994: Edward Feigenbaum, Raj Reddy
1995: Manuel Blum
1996: Amir Pnueli
1997: Douglas Engelbart
1998: James Gray
1999: Fred Brooks
2000: Andrew Yao
2001: Ole-Johan Dahl, Kristen Nygaard
2002: Ron Rivest, Adi Shamir, Leonard Adleman
2003: Alan Kay
2004: Vinton Gray Cerf, Bob 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
|
|
