Stephen Arthur Cook (ur. 14 grudnia 1939 w Buffalo) – amerykański informatyk, ceniony za fundamentalny wkład w rozwój teorii złożoności obliczeniowej, za co otrzymał nagrodę Turinga w 1982 roku.
|
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
|
|
