Cocinero, Stephen Arthur

Esteban Arturo Cook
Esteban Arturo Cook
Nombrar al nacer	inglés  Esteban Arturo Cook
Fecha de nacimiento	14 de diciembre de 1939( 14/12/1939 ) (82 años)
Lugar de nacimiento	Búfalo , Nueva York , Estados Unidos
País	EE.UU  Canadá
Esfera científica	Informática
Lugar de trabajo	Universidad de California en Berkeley Universidad de Toronto
alma mater	Universidad Harvard
Titulo academico	Doctor
consejero científico	Wang Hao (Hao Wang)
Estudiantes	walter savic
Conocido como	Teoría de la complejidad computacional
Premios y premios	Premio Turing
Sitio web	cs.toronto.edu/~sacook/
Archivos multimedia en Wikimedia Commons

Stephen Arthur Cook ( nacido el  14 de diciembre de 1939 , Buffalo , EE . UU .) es un informático estadounidense. Famoso por su trabajo sobre la teoría de la complejidad computacional , ganador del Premio Turing .

En su trabajo "La complejidad de los procedimientos de demostración de teoremas" [1] , Cook demostró que el problema de satisfacibilidad de las fórmulas booleanas es NP-completo . Así, planteó la cuestión de la igualdad de las clases de complejidad P y NP , una de las cuestiones más difíciles en la teoría de los sistemas informáticos, para la que todavía no hay respuesta.

Miembro de la Sociedad Real de Canadá (1984), Academia Nacional de Ciencias de EE . UU. (1985) [2] , Sociedad Real de Londres (1998) [3] .

Biografía

Cook recibió su licenciatura de la Universidad de Michigan en 1961 . Un año más tarde, recibió su Maestría en Ciencias de Harvard , donde obtuvo su doctorado en 1966 . Hasta 1970, trabajó como profesor asistente  de matemáticas en Berkeley , donde nunca recibió el estatus de empleado permanente. Richard Karp , ganador del Premio Turing de 1985 , tiene esto que decir

Siempre será culpa nuestra que no hayamos podido persuadir a la Facultad de Matemáticas para que le diera este estatus.

Texto original  (inglés)[ mostrarocultar] Es para nuestra eterna vergüenza que no pudimos persuadir al departamento de matemáticas para que le diera la titularidad. — Richard Karp en el 30 aniversario del Departamento de Informática de Berkeley [4]

Este honor le fue otorgado por la Universidad de Toronto al nombrar a Stephen Cook como profesor en 1975 .

Premios

• 1982  - Premio Turing "Por el importante progreso que ha logrado en la comprensión de la complejidad de la informática. Su trabajo sentó las bases para la teoría de la NP-completitud. El estudio de las propiedades y límites de esta clase se ha convertido en una de las direcciones más importantes en la teoría de los sistemas informáticos en los últimos diez años. [5  ]
• 1999  - Premio CRM-Fields-PIMS
• 2012  - Medalla de oro canadiense Gerhard Herzberg
• 2015  - Premios Fundación BBVA Fronteras del Conocimiento "Por su importante papel en la definición de lo que las computadoras pueden y no pueden resolver de manera efectiva. Su trabajo ha tenido un gran impacto en todos los campos donde los cálculos complejos son críticos". [6  ]

Véase también

• teorema de Cook

Notas

1. ↑ "La complejidad de los procedimientos de demostración de teoremas" Archivado el 7 de julio de 2007 en Wayback Machine . 
2. ↑ Cook, Stephen Arthur en el sitio web de la Academia Nacional de Ciencias de EE . UU.  
3. ↑ Stephen Cook Archivado el 31 de agosto de 2019 en Wayback Machine . 
4. ↑ "A Personal View of Computer Science at Berkeley" Archivado el 4 de marzo de 2016 en Wayback Machine Richard Karp 30th Anniversary of the Berkeley Computer Science Department 
5. ↑ Mención de premio ACM / Stephen A Cook  (enlace no disponible)
6. ↑ El Premio Fundación BBVA Fronteras del Conocimiento es para Stephen Cook por determinar que algunos problemas no se prestan a soluciones computables de manera eficiente | Virtual-S… (enlace no disponible) . Fecha de acceso: 19 de enero de 2016. Archivado desde el original el 22 de febrero de 2019. (indefinido) 

Enlaces

• Sitio web de Stephen Cook en la Universidad de  Toronto
• "Stephen Cook" en el sitio web de NSERC 

sitios temáticos	Google Académico genealogía matemática ORCIDO Puerta de la investigación Scopus zbMATH Abierto
diccionarios y enciclopedias	Britannica (en línea)
En catálogos bibliográficos TIERRA : 140808973 ISNI : 0000 0000 8220 6950 J9U : 987007458560905171 LCCN : nr2003030022 NKC : xx0115837 NTA : 072925124 NUKAT : n2011172061 SUDOC : 074089021 VIAF : 107793001 WorldCat VIAF : 107793001

Ganadores del Premio Turing

Perlis (1966) Wilks (1967) Hamming (1968) Minski (1969) Wilkinson (1970) McCarthy (1971) Dijkstra (1972) Bachmann (1973) Látigo (1974) Newell Simón (1975) Rabín Scott (1976) Backus (1977) floyd (1978) Iverson (1979) Hoare (1980) bacalao (1981) cocinar (1982) thompson Ritchie (1983) Con (1984) carpa (1985) Hopcroft Tarjan (1986) polla (1987) Sutherlandia (1988) Khan (1989) corbato (1990) Milner (1991) Lampson (1992) Hartmanis Stearn (1993) Feigenbaum rojo (1994) Floración (1995) Pnueli (1996) Engelbart (1997) gris (1998) arroyos (1999) Yao (2000) Dal Núgor (2001) Remache Shamir Adleman (2002) kay (2003) Navegar Khan (2004) naur (2005) Allen (2006) clark emerson Sifakis (2007) Liskov (2008) Thacker (2009) Valiente (2010) Perla (2011) micali Agua de oro (2012) Lamport (2013) Rompepiedras (2014) tonto Infierno (2015) Berners Lee (2016) Hennessy paterson (2017) bengio Hinton Le Cun (2018) Catmull Hanrahan (2019) aho Ulmán (2020) Dongarra (2021)