Cook, Stephen Arthur
| Stephen Arthur Cook | |
|---|---|
| Stephen Arthur Cook | |
| Numele la naștere | Engleză Stephen Arthur Cook |
| Data nașterii | 14 decembrie 1939 (82 de ani) |
| Locul nașterii | Buffalo , New York , SUA |
| Țară | |
| Sfera științifică | Informatica |
| Loc de munca |
Universitatea din California la Universitatea Berkeley din Toronto |
| Alma Mater | Universitatea Harvard |
| Grad academic | Ph.D |
| consilier științific | Wang Hao (Hao Wang) |
| Elevi | Walter Savic |
| Cunoscut ca | Teoria complexității computaționale |
| Premii și premii | Premiul Turing |
| Site-ul web | cs.toronto.edu/~sacook/ |
| Fișiere media la Wikimedia Commons | |
Stephen Arthur Cook ( n . 14 decembrie 1939 , Buffalo , SUA ) este un informatician american. Renumit pentru munca sa despre teoria complexității computaționale , câștigător al Premiului Turing .
În lucrarea sa „The Complexity of Theorem Proving Procedures” [1] , Cook a demonstrat că problema de satisfacție pentru formulele booleene este NP-complet . Astfel, a pus problema egalității claselor de complexitate P și NP , una dintre cele mai dificile întrebări din teoria sistemelor de calcul, la care încă nu există răspuns.
Membru al Societății Regale din Canada (1984), Academiei Naționale de Științe din SUA (1985) [2] , Societății Regale din Londra (1998) [3] .
Biografie
Cook a primit diploma de licență de la Universitatea din Michigan în 1961 . Un an mai târziu, și-a primit diploma de master în științe de la Harvard , unde și-a obținut doctoratul în 1966 . Până în 1970, a lucrat ca profesor asistent în matematică la Berkeley , unde nu a primit niciodată statutul de angajat permanent. Richard Karp , câștigătorul premiului Turing în 1985 , spune asta
Va rămâne pentru totdeauna vina noastră că nu am putut convinge Facultatea de Matematică să-i acorde acest statut.
Text original (engleză)[ arataascunde] Spre vesnica noastră rușine că nu am reușit să convingem departamentul de matematică să-i dea mandat. — Richard Karp la cea de-a 30-a aniversare a Departamentului de Informatică Berkeley [4]Această onoare i-a fost acordată de Universitatea din Toronto , prin numirea lui Stephen Cook ca profesor în 1975 .
Premii
- 1982 - Premiul Turing „Pentru progresele semnificative pe care le-a făcut în înțelegerea complexității calculului. Lucrarea sa a pus bazele teoriei NP-completitudinii. Studiul proprietăților și limitelor acestei clase a devenit una dintre cele mai importante direcții în teoria sistemelor de calcul în ultimii zece ani. [5 ]
- 1999 - Premiul CRM-Fields-PIMS
- 2012 - Medalia de aur canadianului Gerhard Herzberg
- 2015 - Premiile Fundației BBVA Frontierele Cunoașterii „Pentru rolul său important în definirea a ceea ce computerele pot și nu pot rezolva eficient. Munca lui a avut un impact uriaș în toate domeniile în care calculele complexe sunt critice.” [6 ]
Vezi și
Note
- ↑ „The Complexity of Theorem Proving Procedures” Arhivat 7 iulie 2007 la Wayback Machine
- ↑ Cook, Stephen Arthur pe site-ul Academiei Naționale de Științe din SUA
- ↑ Stephen Cook Arhivat pe 31 august 2019 la Wayback Machine
- ↑ „A Personal View of Computer Science at Berkeley” Arhivat pe 4 martie 2016 la Wayback Machine Richard Karp A 30-a aniversare a Departamentului de Informatică Berkeley
- ↑ ACM Award Citation / Stephen A Cook (link nu este disponibil)
- ↑ Premiul BBVA Foundation Frontiers of Knowledge îi revine lui Stephen Cook pentru că a constatat că unele probleme nu se pretează pentru soluții eficiente calculabile | Virtual-S... (link indisponibil) . Data accesului: 19 ianuarie 2016. Arhivat din original pe 22 februarie 2019.
Link -uri
- Site-ul web Stephen Cook de la Universitatea din Toronto
- „Stephen Cook” pe site-ul NSERC
 Site-uri tematice | ||||
|---|---|---|---|---|
| Dicționare și enciclopedii | ||||
| ||||
| Câștigători ai premiului Turing | |
|---|---|
| |