Stephen Cook | ||
---|---|---|
![]() | ||
Persoonlijke gegevens | ||
Volledige naam | Stephen Andrew Cook | |
Geboortedatum | 14 december 1939 | |
Geboorteplaats | Buffalo, New York | |
Academische achtergrond | ||
Alma mater | Harvard-universiteit Universiteit van Michigan ![]() | |
Promotor | Hao Wang | |
Wetenschappelijk werk | ||
Vakgebied | Theoretische informatica, Complexiteitstheorie | |
Website |
Stephen Andrew Cook (Buffalo, 14 december 1939) is een Amerikaans theoretisch informaticus en hoogleraar aan de Universiteit van Toronto. In 1971 bewees hij dat er beslissingsproblemen bestaan waartoe alle NP-problemen in polynomiale tijd gereduceerd kunnen worden. Hiervoor ontving hij in 1982 de Turing Award.