Stephen Cook

Stephen Cook
Stephen Cook
Prof.Cook.jpg
Nombre Stephen Arthur Cook
Nacimiento 1939
Bandera de los Estados Unidos Estados Unidos, Buffalo
Nacionalidad estadounidense
Ocupación informático, profesor
Premios Premio Turing en 1982
Sitio web
Stephen Arthur Cook

Stephen Arthur Cook (1939, Buffalo, Nueva York) es un reconocido científico de la computación.

Cook formalizó la cosa de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La Complejidad de los Procedimientos de Prueba de Teoremas"), que tambiénlas clases de complejidad P y NP.

Cook recibió el Premio Turing en 1982 por su descubrimiento:

Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo. Su artículo pionero, The Complexity of Theorem Proving Procedures, presentado en el ACM SIGACT Symposium on the Theory of Computing de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década.

Recibió su licenciatura en 1961 por la Universidad de Míchigan. En la Universidad de Harvard, recibió su título de máster en 1962, y se doctoró en 1966. Desde 1966 hasta 1970 fue profesor asistente en la Universidad de California, Berkeley. Se unió al profesorado de la Universidad de Toronto en 1970 como profesor asociado, siendo ascendido a profesor en 1975 y profesor universitario en 1985 en el Departamento de Informática y en el de Matemáticas.

Enlaces externos (en inglés)


Predecesor:
Edgar F. Codd		 Premio Turing
1982		 Sucesor:
Kenneth L. Thompson
Dennis M. Ritchie

Wikimedia foundation. 2010.

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

Mira otros diccionarios:

  • Stephen Cook — Pour les articles homonymes, voir Stephen, Arthur et Cook. Stephen Cook Stephen Arthur Cook (né en 1939 à Buffalo dans l …   Wikipédia en Français

  • 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

Compartir el artículo y extractos

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