Aniversário |
14 de dezembro de 1939 Buffalo |
---|---|
Nome de nascença | Stephen Arthur Cook |
Nacionalidades |
Canadense americana |
Treinamento |
Harvard University University of Michigan |
Atividades | Cientista da computação , professor universitário , matemático |
Filho | Gordon Cook ( em ) |
Trabalhou para | Universidade de Toronto , Universidade da Califórnia em Berkeley |
---|---|
Campo | Ciência da Computação |
Membro de |
Association for Computing Machinery Academia Americana de Artes e Ciências Göttingen Academy of Sciences Royal Society of Canada (1984) Academia Americana de Ciências (1985) Royal Society (1998) |
Supervisor | Wang hao |
Local na rede Internet | www.cs.toronto.edu/~sacook |
Prêmios |
Prêmio Turing (1982) |
Stephen Arthur Cook (nascido em 1939 em Buffalo, no estado de Nova York ) é um cientista da computação e matemático canadense-americano que fez várias contribuições importantes para a teoria da complexidade . Atualmente é professor da Universidade de Toronto , do Departamento de Ciência da Computação e do Departamento de Matemática.
Ele recebeu o Prêmio Turing em 1982.
Cook obteve um diploma em 1961 de Bacharel pela Universidade de Michigan e um mestrado e um PhD da Universidade de Harvard em 1962 e 1966, respectivamente. Em 1966, ele ingressou no departamento de matemática da Universidade da Califórnia, Berkeley, como professor assistente. No entanto, seu cargo não foi renovado em 1970. Cook então ingressou na Universidade de Toronto como professor assistente, antes de obter o título de professor em 1975 e, em seguida, professor universitário em 1985.
Ele foi o supervisor da tese de Walter Savitch .
Stephen Cook formalizou notavelmente a noção de NP-completude . Ele é o autor de The Complexity of Theorem-Proving Procedures , no qual ele estabeleceu em 1971 que o problema SAT é NP-completo . Este teorema, já denominado teorema de Cook , é fundamental na teoria da complexidade e constitui o ponto de partida da pesquisa sobre o problema P = NP .
Ele é um dos fundadores do campo da complexidade da evidência .