Stephen Cook

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Stephen Arthur Cook
Prof.Cook.jpg
Stephen Cook
Date personale
Născut (77 de ani)
Buffalo, New York, SUA
Copii Gordon Cook[*] Modificați la Wikidata
Naționalitate american
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupație informatician
profesor universitar
matematician Modificați la Wikidata
Activitate
Rezidență Statele Unite ale Americii Statele Unite ale Americii
Canada Canada
Domeniu informatician
Instituție Universitatea California, Berkeley
Universitatea Toronto
Alma Mater Universitatea Harvard
Universitatea Statului Michigan[*] Modificați la Wikidata
Conducător de doctorat Hao Wang
Cunoscut pentru NP-completitudine
Premii Premiul Turing, 1982
Site web http://www.cs.toronto.edu/~sacook/

Stephen Arthur Cook (n. 14 decembrie 1939, Buffalo, New York, SUA) este un informatician american, care a formalizat noțiunea de NP-completitudine într-o lucrare scrisă în 1971 și intitulată Complexitatea procedurilor de demonstrare a teoremelor, în care a demonstrat că problema satisfacerii expresiilor booleene este NP completă. Pentru aceasta, Cook a primit în 1982 Premiul Turing.