Stephen Cook
Origem: Wikipédia, a enciclopédia livre.
| Stephen Cook | |
|---|---|
| Ciência da computação | |
 Stephen A. Cook, em 2008 |
|
| Nacionalidade |  Estadunidense |
| Nascimento | 14 de dezembro de 1939 (73 anos) |
| Local | Buffalo |
| Actividade | |
| 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]
| Precedido por Edgar Frank Codd |
Prêmio Turing 1982 |
Sucedido por Ken Thompson e Dennis Ritchie |
