From Wikipedia, the free encyclopedia
Stephen Arthur Cook (Buffalo, New York, 1939.) je istaknuti američki računalni znanstvenik.
 | |
| 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 |
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 Arhivirano 2004-06-18 na Wayback Machine-u.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
