Resultados da busca - Cook, Stephen, 1948-

Stephen Cook

|local_nascimento =Buffalo, Nova Iorque |data_morte = |local_morte = |causa_morte = |pais_de_residencia = |nacionalidade =Estadunidense |etnicidade = |campo =Ciência da computação |instituicao_trabalho=Universidade da Califórmia
Universidade de Toronto |alma_mater =, |tese = |orientador =Hao Wang |orientado =Paul Beame
Mark Braverman
Valentine Kabanets
Toniann Pitassi
Robert A. Reckhow
Walter Savitch |conhecido_por =NP-completude
Complexidade da prova
Teorema de Cook-Levin |influenciado = |premio =, , , , , , |conjuge = |religiao = |assinatura = |notas = }} Stephen Arthur Cook, (Buffalo, ) é um cientista da computação e matemático estadunidense-canadense, que teve maior contribuição no campo da teoria da complexidade e complexidade de prova.

É professor de informática da Universidade de Toronto, Departamento de Ciência da Computação e Departamento de Matemática. Seu campo de interesse principal é a complexidade computacional, interessando-se também por lógica e computabilidade.

Cook tornou-se famoso na teoria da computação pelo Teorema de Cook: ''O problema da satisfabilidade booleana é NP-completo''. Por esta descoberta recebeu o Prêmio Turing de 1982. Fornecido pela Wikipedia