Stephen Arthur Cook (1939, Búfalo (Nueva York)) es un reconocido científico de la computación.
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.
Desde 1966 hasta 1970 fue profesor asistente en la Universidad de California, Berkeley.
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».