Cook, Stephen Arthur
| Stephen Arthur Cook | |
|---|---|
| Stephen Arthur Cook | |
| Navn ved fødslen | engelsk Stephen Arthur Cook |
| Fødselsdato | 14. december 1939 (82 år) |
| Fødselssted | Buffalo , New York , USA |
| Land | |
| Videnskabelig sfære | Informatik |
| Arbejdsplads |
University of California ved Berkeley University of Toronto |
| Alma Mater | Harvard Universitet |
| Akademisk grad | Ph.D |
| videnskabelig rådgiver | Wang Hao (Hao Wang) |
| Studerende | Walter Savic |
| Kendt som | Beregningsmæssig kompleksitetsteori |
| Præmier og præmier | Turing-prisen |
| Internet side | cs.toronto.edu/~sacook/ |
| Mediefiler på Wikimedia Commons | |
Stephen Arthur Cook ( født 14. december 1939 , Buffalo , USA ) er en amerikansk datalog. Berømt for sit arbejde med teorien om beregningsmæssig kompleksitet , vinder af Turing-prisen .
I sit arbejde "The Complexity of Theorem Proving Procedures" [1] beviste Cook, at tilfredshedsproblemet for boolske formler er NP-komplet . Således rejste han spørgsmålet om ligheden af kompleksitetsklasserne P og NP , et af de sværeste spørgsmål i teorien om computersystemer, som der stadig ikke er noget svar på.
Medlem af Royal Society of Canada (1984), US National Academy of Sciences (1985) [2] , Royal Society of London (1998) [3] .
Biografi
Cook modtog sin bachelorgrad fra University of Michigan i 1961 . Et år senere modtog han sin Master of Science-grad fra Harvard , hvor han opnåede sin Ph.D. -grad i 1966 . Indtil 1970 arbejdede han som adjunkt i matematik ved Berkeley , hvor han aldrig fik status som fastansat. Richard Karp , vinder af Turing-prisen i 1985 , har dette at sige
Det vil for altid forblive vores skyld, at vi ikke kunne overtale Det Matematiske Fakultet til at give ham denne status.
Originaltekst (engelsk)[ Visskjule] Det er til vores evige skam, at vi ikke var i stand til at overtale matematikafdelingen til at give ham embedsperiode. — Richard Karp på 30-årsdagen for Berkeley Computer Science Department [4]Denne ære blev tildelt ham af University of Toronto ved at udnævne Stephen Cook til professor i 1975 .
Priser
- 1982 - Turing Award "For de betydelige fremskridt, han har gjort med at forstå kompleksiteten af computere. Hans arbejde lagde grundlaget for teorien om NP-fuldstændighed. Studiet af egenskaberne og grænserne for denne klasse er blevet en af de vigtigste retninger i teorien om computersystemer i løbet af de sidste ti år. [5 ]
- 1999 - CRM-Fields-PIMS-pris
- 2012 - Canadiske Gerhard Herzberg guldmedalje
- 2015 - BBVA Foundation Frontiers of Knowledge Awards "For hans vigtige rolle i at definere, hvad computere effektivt kan og ikke kan løse. Hans arbejde har haft en enorm indflydelse på alle områder, hvor komplekse beregninger er kritiske." [6 ]
Se også
Noter
- ↑ "The Complexity of Theorem Proving Procedures" Arkiveret 7. juli 2007 på Wayback Machine
- ↑ Cook, Stephen Arthur på US National Academy of Sciences hjemmeside
- ↑ Stephen Cook Arkiveret 31. august 2019 på Wayback Machine
- ↑ "A Personal View of Computer Science at Berkeley" Arkiveret 4. marts 2016 på Wayback Machine Richard Karp 30-års jubilæum for Berkeley Computer Science Department
- ↑ ACM Award Citation / Stephen A Cook (link ikke tilgængeligt)
- ↑ BBVA Foundation Frontiers of Knowledge Award går til Stephen Cook for at fastslå, at nogle problemer ikke egner sig til effektivt beregnelige løsninger | Virtual-S... (utilgængeligt link) . Dato for adgang: 19. januar 2016. Arkiveret fra originalen 22. februar 2019.
Links
- Stephen Cooks hjemmeside ved University of Toronto
- "Stephen Cook" på NSERC- webstedet
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||
| Turing prisvindere | |
|---|---|
| |