Esteban cocinero

Esteban cocinero Imagen en Infobox. Esteban cocinero Biografía
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 )
Otras informaciones
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.

Biografía

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 .

Obras

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 .

Premios

Referencias

  1. (en) “  Stephen Cook  ” , en la página web del Proyecto Matemáticas Genealogía
  2. (en) Stephen A. Cook , "La complejidad de los procedimientos de demostración de teoremas", en Registro de la conferencia del tercer simposio anual de ACM sobre teoría de la computación (STOC) ,1971, 151-158  pág. ( leer en línea )
  3. Paul Beame y Toniann Pitassi , "  Complejidad de la prueba proposicional: pasado, presente y futuro  ", Boletín de la Asociación Europea de Ciencias de la Computación Teórica , n. °  65, 1998, p.  66-89.
  4. "  PREMIO AM TURING: Stephen A. Cook  " , en ACM .

enlaces externos