Stephen Cook

Stephen Cook
Prof.Cook.jpg
Información personal
Nombre de nacimiento Stephen Arthur Cook
Nacimiento 14 de diciembre de 1939 Ver y modificar los datos en Wikidata
Búfalo, Estados Unidos Ver y modificar los datos en Wikidata
Nacionalidad Estadounidense Ver y modificar los datos en Wikidata
Educación
Alma máter
Supervisor doctoral Hao Wang Ver y modificar los datos en Wikidata
Información profesional
Ocupación Informático teórico, profesor universitario y matemático Ver y modificar los datos en Wikidata
Empleador
Miembro de
Distinciones
Web
Sitio web
[ 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.

El matemático ha sido galardonado con el Premio Fundación BBVA Fronteras del Conocimiento 2015 en la categoría de Tecnologías de la Información y la Comunicación “por su importante papel a la hora de determinar qué pueden los ordenadores resolver de forma eficiente y qué no”, según señala el acta del jurado. Además, destacaron que su trabajo “ha tenido un impacto decisivo en todos aquellos campos en los que los cálculos complejos son de vital importancia”.

Other Languages
العربية: ستيفن كوك
català: Stephen Cook
čeština: Stephen Cook
English: Stephen Cook
français: Stephen Cook
עברית: סטפן קוק
hrvatski: Stephen Cook
italiano: Stephen Cook
한국어: 스티븐 쿡
Nederlands: Stephen Cook
polski: Stephen Cook
português: Stephen Cook
română: Stephen Cook
srpskohrvatski / српскохрватски: Stephen Cook
slovenčina: Stephen Cook
српски / srpski: Стивен Кук
українська: Стівен Кук