- PREUSMJERI Predložak:Infookvir znanstvenik
Stephen Arthur Cook (Buffalo, New York, 1939.) je istaknuti američki računalni znanstvenik.
Cook je formalizirao pojam NP-potpunosti u poznatom članku iz 1971. "The Complexity of Theorem Proving Procedures", koji je ujedno i sadržavao Cookeov teorem, dokaz da je problem bulovske ispunjivosti NP-potpun. Članak 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:
Za unapređenje razumijevanja složenosti računanja na značajan i dubokouman način. Njegov plodonosni članak, The Complexity of Theorem Proving Procedures, predstavljen 1971. na ACM SIGACT simpoziju o teorijskom računarstvu, 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 posljednjem desetljeću.
Stekao je titulu prvostupnika 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.
Vanjske poveznice
| Dobitnici Turingove nagrade |
|---|
|
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 A. 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 •
2007. Edmund Clarke, Allen Emerson, Joseph Sifakis •
2008. Barbara Liskov •
2009. Charles P. Thacker •
2010. Leslie Valiant •
2011. Judea Pearl •
2012. Silvio Micali, Shafi Goldwasser •
2013. Leslie Lamport •
2014. Michael Stonebraker •
2015. Whitfield Diffie, Martin Hellman
2016. Tim Berners-Lee
2017. John L. Hennessy, David Patterson
2018. Geoffrey Hinton, Martin Hellman, Yann LeCun
|
|
