Stephen Cook

Valora este artículo

Stephen CookStephen Cook es uno de los informáticos teóricos más importantes. Definió el concepto de NP-completitud en su articulo “The Complexity of Theorem Proving Procedures” de 1.971, donde también formuló el problema de la relación entre las clases P y NP.

Nació en Buffalo (Nueva York) el 14 de diciembre de 1.939 y se licenció en 1.961 en la Universidad de Michigan. En 1.966 se doctoró en la Universidad de Harvard, y desde ese año hasta 1.970 fue profesor asistente en la Universidad de Berkeley. Empezó a trabajar como profesor asociado en la Universidad de Toronto en 1.970, y en 1.975 pasó a ser profesor.

En 1.982 recibió el Premio Turing por su avance en los estudios de la complejidad computacional al formalizar el concepto de NP-completitud.

Actualmente es profesor universitario en la Universidad de Toronto en los departamentos de Informática y Matemáticas.

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *