Stephen A. Cook
Stephen Arthur Cook (s. 14. joulukuuta 1939 Buffalo) on yhdysvaltalainen tietojenkäsittelytieteilijä. Hän sai Turing-palkinnon vuonna 1982 laskennalliseen kompleksisuuteen ja NP-täydellisyyteen liittyvästä työstä.[1]
Cook on väitellyt tohtoriksi Harvardin yliopistosta vuonna 1966. Hän julkaisi merkittävän artikkelin The Complexity of Theorem Proving Procedures vuonna 1971 ja hän on toiminut professorina Toronton yliopistossa 1970-luvulta lähtien.[1][2]
Lähteet
[muokkaa | muokkaa wikitekstiä]- 1 2 Stephen Arthur Cook amturing.acm.org. Viitattu 5.4.2026. (englanniksi)
- ↑ Stephen A. Cook: The Complexity of Theorem-Proving Procedures (PDF) cs.toronto.edu. Viitattu 5.4.2026. (englanniksi)
| Kansainväliset | |
|---|---|
| Kansalliset | |
| Tieteilijät | |
| Muut | |
