Stephen Cook

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Stephen Arthur Cook
Prof.Cook.jpg
Date personale
Nume la naștereStephen Arthur Cook Modificați la Wikidata
Născut (78 de ani)
Buffalo, New York, SUA
CopiiGordon Cook[*] Modificați la Wikidata
Naționalitateamerican
CetățenieFlag of the United States.svg SUA Modificați la Wikidata
Ocupațieinformatician
profesor universitar
matematician Modificați la Wikidata
Activitate
RezidențăStatele Unite ale Americii Statele Unite ale Americii
Canada Canada
Domeniuinformatician
InstituțieUniversitatea California, Berkeley
Universitatea Toronto
Alma MaterUniversitatea Harvard
Universitatea Statului Michigan[*]  Modificați la Wikidata
OrganizațiiUniversitatea din Toronto
Universitatea Berkeley din California  Modificați la Wikidata
Conducător de doctoratHao Wang
Cunoscut pentruNP-completitudine
PremiiPremiul Turing, 1982
Prezență online

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.