Stephen Cook
Aspect
Stephen Arthur Cook | |
![]() | |
Date personale | |
---|---|
Nume la naștere | Stephen Arthur Cook ![]() |
Născut | (85 de ani) Buffalo, New York, SUA |
Copii | Gordon Cook[*] ![]() |
Cetățenie | ![]() ![]() ![]() |
Ocupație | informatician cadru didactic universitar[*] matematician ![]() |
Limbi vorbite | limba engleză[2] ![]() |
Activitate | |
Rezidență | ![]() ![]() |
Domeniu | informatician |
Instituție | Universitatea California, Berkeley Universitatea Toronto |
Alma Mater | Universitatea Harvard Universitatea din Michigan ![]() |
Organizații | Societatea Regală din Londra Academia Națională de Științe a Statelor Unite ale Americii[*] Royal Society of Canada[*] Academia Americană de Arte și Științe[*] Academia de Științe Göttingen[*] Association for Computing Machinery[1] ![]() |
Conducător de doctorat | Hao Wang |
Cunoscut pentru | NP-completitudine |
Premii | Premiul Turing, 1982 |
Prezență online | |
Modifică date / text ![]() |
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.
- ^ https://www.acm.org/media-center/2009/january/acm-names-44-fellows-for-contributions-to-computing-and-it, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ IdRef, accesat în