| Stephen Arthur Cook | |
 | |
| 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 |
| Portal o životopisima | |
Stephen Arthur Cook (Buffalo,New York,1939.) je istaknutiameričkiračunalni znanstvenik.
Cook je formalizirao pojamNP-potpunosti u poznatom članku iz1971."The Complexity of Theorem Proving Procedures", koji je ujedno i sadržavaoCookeov teorem, dokaz da jeproblem bulovske ispunjivosti NP-potpun. Članak je ostavio neriješenim najveći otvoreni problem teoretskog računarstva - jesu liklase složenosti P i NP istovjetne.
Cook je primioTuringovu 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 prvostupnika1961. na Sveučilištu Michigana. Na Sveučilištu Harvard je stekao magisterij1962. te doktorat1966. Od1966. do1970. je bio priručni profesor na Sveučilištu Kalifornije u Berkeleyu, te je promoviran u status profesora1975., odnosno sveučilišnog profesora1985. priodsjeku za računarstvo iodsjeku za matematiku Arhivirana inačica izvorne stranice od 18. lipnja 2004. (Wayback Machine).