El científico de la computación Stephen Arthur Cook, nació el 14 de diciembre de 1939, en Búfalo, New York. Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado “La complejidad de los procedimientos de demostración de teoremas”, donde también formuló el problema de la relación entre las clases de complejidad P y NP.

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 las computadoras 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”.

Referencias

Stephen Arthur Cook. Enciclopedia Británica. https://www.britannica.com/biography/Stephen-Arthur-Cook

Stephen Cook. Wikipedia. https://es.wikipedia.org/wiki/Stephen_Cook