Pour les articles homonymes, voirCook.
| Naissance | |
|---|---|
| Nom de naissance | Stephen Arthur Cook  |
| Nationalités | |
| Formation | |
| Activités | |
| Enfant | Gordon Cook(en) |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse | |
| Site web | |
| Distinctions |
Stephen Arthur Cook (né en1939 àBuffalo dans l'État de New York) est un informaticien et mathématicien américano-canadien, qui a apporté plusieurs contributions majeures à lathéorie de la complexité. Il est actuellement professeur à l'université de Toronto, dans le département d'informatique, et dans le département demathématiques.
Il a obtenu leprix Turing en 1982.
Cook obtient en 1961 un diplôme deBachelor de l'université du Michigan, puis unmaster et unPhD de l'université Harvard, en 1962 et 1966 respectivement[1]. En 1966, il rejoint le département de mathématiques de l'université de Californie, Berkeley en tant que professeur assistant. Cependant, son poste n'est pas renouvelé en 1970. Cook rejoint alors l'université de Toronto en tant que professeur assistant, avant d'obtenir le titre de professeur en 1975, puis de professeur d'université en 1985.
Il a été ledirecteur de thèse deWalter Savitch[1].
Stephen Cook a notamment formalisé la notion deNP-complétude. Il est l'auteur de l'articleThe Complexity of Theorem-Proving Procedures[2], dans lequel il établit en 1971 que leproblème SAT estNP-complet. Ce théorème, appelé depuisthéorème de Cook, est fondamental en théorie de la complexité et constitue le point de départ des recherches sur leproblème P = NP.
Il est l'un des fondateurs du domaine de lacomplexité des preuves[3].
:
