Stephen Cook

Stephen Arthur Cook (né en 1939 à Buffalo dans l'État de New York) est un informaticien et mathématicien américano-canadien, qui a apporté plusieurs contributions majeures à la théorie de la complexité. Il est actuellement professeur à l'université de Toronto, dans le département d'informatique, et dans le département de mathématiques.

Stephen Cook

Stephen Cook

Biographie

Naissance	14 décembre 1939 (85 ans) Buffalo
Nom de naissance	Stephen Arthur Cook
Nationalités	canadienne américaine
Formation	Université Harvard Université du Michigan
Activités	Informaticien, professeur d'université, mathématicien
Enfant	Gordon Cook (en)

Autres informations

A travaillé pour	Université de Toronto Université de Californie à Berkeley
Membre de	Société royale du Canada (1984) Académie américaine des sciences (1985) Royal Society (1998) Association for Computing Machinery (2009) Académie des sciences de Göttingen Académie américaine des arts et des sciences
Directeur de thèse	Wang Hao
Site web	www.cs.toronto.edu/~sacook
Distinctions	Prix Turing (1982) Liste détaillée Prix Turing (1982) Prix CRM-Fields-PIMS (1999) Gödel Lecturer (1999) Prix John L. Synge (2006) ACM Fellow (2008) Médaille d’or Gerhard-Herzberg (2012) Ordre de l'Ontario (2013) Officier de l'Ordre du Canada (2015) BBVA Foundation Frontiers of Knowledge Award (2015) Membre de la Société royale du Canada

modifier - modifier le code - modifier Wikidata

Il a obtenu le prix Turing en 1982.

Biographie

Cook obtient en 1961 un diplôme de Bachelor de l'université du Michigan, puis un master et un PhD 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é le directeur de thèse de Walter Savitch^[1].

Travaux

Stephen Cook a notamment formalisé la notion de NP-complétude. Il est l'auteur de l'article The Complexity of Theorem-Proving Procedures^[2], dans lequel il établit en 1971 que le problème SAT est NP-complet. Ce théorème, appelé depuis théorème de Cook, est fondamental en théorie de la complexité et constitue le point de départ des recherches sur le problème P = NP.

Il est l'un des fondateurs du domaine de la complexité des preuves^[3].

Distinctions

• 1982 - Prix Turing^[4]
• 1984 - Membre de la Société royale du Canada
• 1997 - Prix Izaak-Walton-Killam
• 1999 - Prix CRM-Fields-PIMS
• 1999 - Gödel Lecturer avec une conférence intitulée Logic and computational complexity.
• 2005 - Prix d'excellence du CRSNG