Stephen Cook

Stephen Cook
Información personal
Nombre de nacimiento	Stephen Arthur Cook
Nacimiento	14 de diciembre de 1939 (84 años); Estados Unidos, Buffalo
Nacionalidad	estadounidense
Educación
Educación	doctor en ciencias
Educado en	Universidad de Harvard; Universidad de Míchigan ;
Supervisor doctoral	Hao Wang
Información profesional
Ocupación	informático, profesor
Empleador	Universidad de Toronto; Universidad de California en Berkeley ;
Estudiantes doctorales	Walter Savitch
Miembro de	Academia Estadounidense de las Artes y las Ciencias; Academia de Ciencias de Gotinga; Royal Society of Canada (desde 1984); Academia Nacional de Ciencias de los Estados Unidos (desde 1985); Royal Society (desde 1998); Association for Computing Machinery (desde 2009) ;
Sitio web	Stephen Arthur Cook
Distinciones	Premio Turing en 1982;
	[editar datos en Wikidata]

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

Cook formalizó el concepto 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én las 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)

Estudiantes de Stephen A. Cook

Predecesor: Edgar Frank Codd	Premio Turing 1982	Sucesor: Ken Thompson Dennis Ritchie

Datos: Q62870
Multimedia: Stephen Cook / Q62870