Stephen Cook
Izvor: Wikipedija
| Rođenje | 1939. Buffalo, New York |
|---|---|
| Polje | Računarstvo |
| Institucija | Sveučilište Kalifornije, Berkeley Sveučilište Toronta |
| Poznat po | NP-potpunost |
| Istaknute nagrade | Turingova nagrada |
Stephen Arthur Cook (Buffalo, New York, 1939.) je istaknuti američki računalni znanstvenik.
Cook je formalizirao pojam NP-potpunosti u poznatom papiru iz 1971. "The Complexity of Theorem Proving Procedures", koji je ujedno i sadržavao Cookeov teorem, dokaz da je problem bulovske ispunjivosti NP-potpun. Papir je ostavio neriješenim najveći otvoreni problem teoretskog računarstva - jesu li klase složenosti P i NP istovjetne.
Cook je primio Turingovu nagradu za ovo otkriće. Citat veli:
Za uznapredovanje razumijevanja složenosti računanja na značajan i dubokouman način. Njegov plodonosni papir, The Complexity of Theorem Proving Procedures, predstavljen 1971. na ACM SIGACT simpoziju o teoriji računarstva, je postavio temelje za teoriju NP-potpunosti. Istraživanje granica i prirode problema u NP-potpunoj klasi koje je nakon toga uslijedilo je bila jedna od najaktivnijih i najvažnijih istraživačkih aktivnosti računarstva u posljednjoj dekadi.
Stekao je titulu bakalaureata 1961. na Sveučilištu Michigana. Na Sveučilištu Harvard je stekao magisterij 1962. te doktorat 1966. Od 1966. do 1970. je bio priručni profesor na Sveučilištu Kalifornije u Berkeleyu, te je promoviran u status profesora 1975, odnosno sveučilišnog profesora 1985. pri odsjeku za računarstvo i odsjeku za matematiku.
[uredi] Vanjske poveznice
1966. Alan Perlis • 1967. Maurice Vincent 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 Floyd • 1979. Kenneth E. Iverson • 1980. C. A. R. Hoare • 1981. Edgar F. Codd • 1982. Stephen 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 J. 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. Jim Gray • 1999. Fred Brooks • 2000. Andrew Yao • 2001. Ole-Johan Dahl, Kristen Nygaard • 2002. Ron Rivest, Adi Shamir, Leonard Adleman • 2003. Alan Kay • 2004. Vint Cerf, Bob Kahn • 2005. Peter Naur • 2006. Frances E. Allen
