Stephen Cook

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.

Stephen Cook
Persoonlijke gegevens
Volledige naam	Stephen Andrew Cook
Geboortedatum	14 december 1939
Geboorteplaats	Buffalo, New York
Beroep	informaticus, academisch docent, wiskundige
Lid van	Royal Society, Amerikaanse Nationale Wetenschapsacademie, Royal Society of Canada, American Academy of Arts and Sciences, Göttinger Academie van Wetenschappen, Association for Computing Machinery[1]
Academische achtergrond
Alma mater	Harvard-universiteit Universiteit van Michigan
Promotor(s)	Hao Wang
Wetenschappelijk werk
Vakgebied(en)	Theoretische informatica, Complexiteitstheorie
Prijzen en erkenningen	Fellow of the Royal Society, Turing Award (1982),[2][3] CRM-Fields-PIMS prize (1999), Gödel Lecturer (1999), Orde van Ontario (2013), Officier in de Orde van Canada (2015), BBVA Foundation Frontiers of Knowledge Award (2015), ACM Fellow (2008),[4][1] lid van de Royal Society of Canada, Gerhard Herzberg Canada Gold Medal for Science and Engineering (2012), John L. Synge Award (2006)[5]
Website

Levensloop

Cook werd in 1939 geboren in Buffalo in de Amerikaanse staat New York. Zijn vader was scheikundige. Zijn moeder werkte een aantal jaar als lerares Engels, maar was vooral huisvrouw.^[6]

In 1961 Cook ontving hij zijn Bachelorgraad met als hoofdvak wiskunde van de Universiteit van Michigan, en in 1962 zijn Mastergraad van de Harvard-universiteit. Na in 1966 aan diezelfde universiteit te zijn gepromoveerd kreeg hij een baan aan de Universiteit van Berkeley. Toen zijn contract in 1970 niet werd verlengd, kreeg hij een vaste baan aan de Universiteit van Toronto, waar hij sindsdien gewerkt heeft.^[7]

Cook is getrouwd en heeft twee zoons. In zijn vrije tijd houdt hij van zeilen.^[6]