Stephen Cook

Nome: Stephen Arthur Cook

Nasceu em 14 de dezembro de 1939, em Buffalo, Nova York, EUA

Contribuições relacionadas ao computador

• Cientista da computação e matemático americano-canadense.
• Conhecido por NP-completude, complexidade de prova proposicional e o teorema de Cook-Levin.
• Reconhecido como um dos pioneiros da teoria da complexidade computacional.

Publicações significativas

• The Complexity of Theorem Proving Procedures (1971).

Honras e prêmios

• Nomeado para a Ordem de Ontário pelo Governo de Ontário (2013).
• Gerhard Herzberg Canada Gold Medal for Science and Engineering (2012).
• Association for Computing Machinery Fellow (2008).
• Prêmio John L. Synge (1999).
• Prêmio CRM-Fields-PIMS (1999).
• Medalha Bernard Bolzano (1999).
• Prêmio ACM Turing (1982).

Sites

• Site pessoal de Stephen Cook