Stephen Cook
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

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 Complexity of Theorem Proving Procedures dans laquelle il établit le théorème (Un théorème est une proposition qui peut être mathématiquement démontrée, c'est-à-dire une assertion qui peut être établie comme vraie au travers d'un raisonnement logique construit à partir...) de Cook, qui prouve que le problème SAT est NP-complet.

Distinctions

  • 1982 - Turing Award
  • 1984 - Membre de la Société royale du Canada
  • 1997 - Prix Izaak-Walton-Killam
  • 1999 - Prix CRM-Fields-PIMS
  • 2005 - Prix d'excellence du CRSNG


Page générée en 0.108 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique