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.

(Wikipedia)