Stephen Cook

Stephen Cook
Stephen A. Cook em 2008
Conhecido(a) por	NP-completude Complexidade da prova Teorema de Cook-Levin
Nascimento	14 de dezembro de 1939 (85 anos) Buffalo, Nova Iorque
Nacionalidade	Estadunidense
Alma mater	Universidade Harvard, Universidade de Michigan
Prêmios	Prêmio Turing (1982), Prêmio Izaak-Walton-Killam (1997), Prêmio CRM-Fields-PIMS (1999), Prêmio John L. Synge (2006), Medalha Bernard Bolzano, Medalha de Ouro Gerhard Herzberg (2012), Prêmios Fronteiras do Conhecimento (2015)
Orientador(es)(as)	Hao Wang
Orientado(a)(s)	Paul Beame Mark Braverman Valentine Kabanets Toniann Pitassi Robert A. Reckhow Walter Savitch
Instituições	Universidade da Califórmia Universidade de Toronto
Campo(s)	Ciência da computação

Stephen Arthur Cook, (Buffalo, 14 de dezembro de 1939) é 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.