Stephen Cook

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Stephen Cook
Ciência da computação
Stephen A. Cook, em 2008
Nacionalidade Estados Unidos Estadunidense
Nascimento 14 de dezembro de 1939 (75 anos)
Local Buffalo
Atividade
Campo(s) Ciência da computação
Alma mater Universidade Harvard, Universidade de Michigan
Orientado(s) Walter Savitch
Prêmio(s) Prêmio Turing (1982)

Stephen Arthur Cook (Buffalo, 14 de dezembro de 1939) é um informático estadunidense.

É professor de informática da Universidade de Toronto. 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.

Ligações externas[editar | editar código-fonte]


Precedido por
Edgar Frank Codd
Prêmio Turing
1982
Sucedido por
Ken Thompson e Dennis Ritchie