Nacimiento |
14 de diciembre de 1939 Buffalo |
---|---|
Nombre de nacimiento | Stephen arthur cocinero |
Nacionalidades |
Canadiense Americano |
Capacitación |
Universidad de Harvard Universidad de Michigan |
Ocupaciones | Informático , profesor universitario , matemático |
Niño | Gordon Cook ( en ) |
Trabajé para | Universidad de Toronto , Universidad de California en Berkeley |
---|---|
Campo | Ciencias de la Computación |
Miembro de |
Asociación de Maquinaria de Computación Academia Estadounidense de Artes y Ciencias Academia de Ciencias de Gotinga Real Sociedad de Canadá (1984) Academia Estadounidense de Ciencias (1985) Real Sociedad (1998) |
Director de tesis | Wang hao |
Sitio web | www.cs.toronto.edu/~sacook |
Premios |
Premio Turing (mil novecientos ochenta y dos) |
Stephen Arthur Cook (nacido en 1939 en Buffalo en el estado de Nueva York ) es un científico informático y matemático canadiense-estadounidense que hizo varias contribuciones importantes a la teoría de la complejidad . Actualmente es profesor en la Universidad de Toronto , en el Departamento de Ciencias de la Computación y en el Departamento de Matemáticas.
Fue galardonado con el Premio Turing en 1982.
Cocine obtiene un diploma en 1961 Licenciatura de la Universidad de Michigan y una maestría y un doctorado de la Universidad de Harvard en 1962 y 1966 respectivamente. En 1966, se incorporó al departamento de matemáticas de la Universidad de California en Berkeley como profesor asistente. Sin embargo, su puesto no fue renovado en 1970. Cook luego se unió a la Universidad de Toronto como profesor asistente, antes de obtener el título de profesor en 1975, luego profesor universitario en 1985.
Fue director de tesis de Walter Savitch .
Stephen Cook formalizó notablemente la noción de completitud NP . Es el autor de La complejidad de los procedimientos de demostración de teoremas , en el que estableció en 1971 que el problema SAT es NP-completo . Este teorema, llamado teorema de Cook , es fundamental en la teoría de la complejidad y constituye el punto de partida de la investigación sobre el problema P = NP .
Es uno de los fundadores del campo de la complejidad de la evidencia .