Stephen Cook

Stephen Cook
Page d'aide sur l'homonymie Pour les articles homonymes, voir Stephen, Arthur et Cook.
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 a notamment formalisé la notion de NP-complétude. Il est l'auteur de l'article The Complexity of Theorem-Proving Procedures[1], 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.

Sommaire

Biographie

Cook obtient en 1961 un diplôme de Bachelor de l'Université du Michigan, puis un Master et un PhD de l'Université d'Harvard, en 1962 et 1966 respectivement. 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 Assisant, avant d'obtenir le titre de Professeur en 1975, puis de "Professeur d'Université" en 1985.

Distinctions

Références

  1. ↑ (en) Stephen A. Cook, « The Complexity of Theorem-Proving Procedures », dans Conference Record of Third Annual ACM Symposium on Theory of Computing (STOC), 1971, p. 151-158 [texte intégral [PDF] (page consultée le 18 mars 2010)] 

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Stephen Cook de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Stephen Cook — Nombre Stephen Arthur Cook …   Wikipedia Español

  • Stephen Cook — Infobox Scientist name = Stephen Arthur Cook image width = 150px caption = birth date = birth date and age|1939|12|14 birth place = Buffalo, New York death date = death place = residence = citizenship = nationality = ethnicity = field = Computer… …   Wikipedia

  • Stephen Cook — Stephen A. Cook 2008 Stephen Arthur Cook (* 14. Dezember 1939 in Buffalo, New York) ist Professor der Informatik an der University of Toronto in Kanada. Sein Hauptbetätigungsfeld ist die Komplexitätstheorie; Cook arbeitet neben seiner… …   Deutsch Wikipedia

  • Stephen Cook (cricketer) — Stephen Craig Cook (born November 29, 1982 in Johannesburg) is a South African first class cricketer, the son of former Test player Jimmy Cook. He is a right handed batsman and as of the end of the 2006 07 season has made over 3000 runs at 34.57… …   Wikipedia

  • Stephen A. Cook — Stephen Cook Pour les articles homonymes, voir Stephen, Arthur et Cook. Stephen Arthur Cook (né en 1939 à Buffalo dans l État de New York) est un informaticien qui a formalisé la notion de NP complétude. Il est l auteur de la publication The… …   Wikipédia en Français

  • Stephen Arthur Cook — Stephen Cook Pour les articles homonymes, voir Stephen, Arthur et Cook. Stephen Arthur Cook (né en 1939 à Buffalo dans l État de New York) est un informaticien qui a formalisé la notion de NP complétude. Il est l auteur de la publication The… …   Wikipédia en Français

  • Cook (surname) — Cook Family name Cook coat of arms Meaning cook (occupational) Region of origin …   Wikipedia

  • Cook — hace referencia a: James Cook, navegante y descubridor británico; Robin Cook, escritor estadounidense; Islas Cook, archipiélago del Pacífico Sur. Stephen Cook, matemático computacional creador del Teorema de Cook. Cook (perro), perro actor de la… …   Wikipedia Español

  • Cook–Levin theorem — In computational complexity theory, the Cook–Levin theorem, also known as Cook s theorem, states that the Boolean satisfiability problem is NP complete. That is, any problem in NP can be reduced in polynomial time by a deterministic Turing… …   Wikipedia

  • Cook — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Cook », sur le Wiktionnaire (dictionnaire universel) Cook, cuisinier en anglais, peut faire référence… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”