Stephen Cook
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.
- IdRef, accesat în
| Stephen Arthur Cook | |
| Date personale | |
|---|---|
| Nume la naștere | Stephen Arthur Cook |
| Născut | (84 de ani)
Buffalo, New York, SUA |
| Copii | Gordon Cook[*] |
| Cetățenie | Statele Unite ale Americii Canada |
| Ocupație | informatician cadru didactic universitar[*] matematician |
| Limbi vorbite | limba engleză[1] |
| 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 |
| Conducător de doctorat | Hao Wang |
| Cunoscut pentru | NP-completitudine |
| Premii | Premiul Turing, 1982 |
| Prezență online | |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.