Stephen Cook
| 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 |  Statele Unite ale Americii.svg){kind=small} Canada |
| Ocupație | informatician cadru didactic universitar[*] matematician |
| Limbi vorbite | limba engleză[2] |
| Activitate | |
| Rezidență | Statele Unite ale Americii Canada |
| 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.
| Acest articol biografic despre un american este un ciot. Puteți ajuta Wikipedia prin completarea lui! |
- ^ 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