Kokki, Stephen Arthur
| Stephen Arthur Cook | |
|---|---|
| Stephen Arthur Cook | |
| Nimi syntyessään | Englanti Stephen Arthur Cook |
| Syntymäaika | 14. joulukuuta 1939 (82-vuotiaana) |
| Syntymäpaikka | Buffalo , New York , Yhdysvallat |
| Maa | |
| Tieteellinen ala | Informatiikka |
| Työpaikka |
Kalifornian yliopisto Toronton Berkeleyn yliopistossa |
| Alma mater | Harvardin yliopisto |
| Akateeminen tutkinto | Ph.D |
| tieteellinen neuvonantaja | Wang Hao (Hao Wang) |
| Opiskelijat | Walter Savic |
| Tunnetaan | Laskennallinen monimutkaisuusteoria |
| Palkinnot ja palkinnot | Turing-palkinto |
| Verkkosivusto | cs.toronto.edu/~sacook/ |
| Mediatiedostot Wikimedia Commonsissa | |
Stephen Arthur Cook ( s . 14. joulukuuta 1939 , Buffalo , USA ) on yhdysvaltalainen tietojenkäsittelytieteilijä. Kuuluisa laskennallisen monimutkaisuuden teoriatyöstään , Turing-palkinnon voittaja .
Työssään "The Complexity of Theorem Proving Procedures" [1] Cook osoitti, että Boolen kaavojen tyydyttävyysongelma on NP-täydellinen . Siten hän nosti esiin kysymyksen monimutkaisuusluokkien P ja NP yhtäläisyydestä , yhden laskentajärjestelmien teorian vaikeimmista kysymyksistä, johon ei vieläkään ole vastausta.
Kanadan kuninkaallisen seuran (1984), Yhdysvaltain kansallisen tiedeakatemian (1985) [2] , Lontoon Royal Societyn (1998) [3] jäsen .
Elämäkerta
Cook suoritti kandidaatin tutkinnon Michiganin yliopistosta vuonna 1961 . Vuotta myöhemmin hän suoritti maisterin tutkinnon Harvardista , jossa hän saavutti tohtorin tutkinnon vuonna 1966 . Vuoteen 1970 asti hän työskenteli matematiikan apulaisprofessorina Berkeleyssä , jossa hän ei koskaan saanut vakituisen työntekijän asemaa . Richard Karp , vuoden 1985 Turing-palkinnon voittaja , sanoo tämän
Se jää ikuisesti meidän syyksemme, ettemme pystyneet suostuttelemaan matematiikan tiedekuntaa antamaan hänelle tätä asemaa.
Alkuperäinen teksti (englanniksi)[ näytäpiilottaa] Ikuiseksi häpeäksemme emme pystyneet suostuttelemaan matematiikan osastoa antamaan hänelle toimikauden. — Richard Karp Berkeleyn tietojenkäsittelytieteen osaston 30-vuotispäivänä [4]Toronton yliopisto myönsi hänelle tämän kunnian nimittämällä Stephen Cookin professoriksi vuonna 1975 .
Palkinnot
- 1982 - Turing-palkinto "Hänen merkittävästä edistymisestä tietojenkäsittelyn monimutkaisuuden ymmärtämisessä. Hänen työnsä loi perustan NP-täydellisyyden teorialle. Tämän luokan ominaisuuksien ja rajojen tutkimuksesta on tullut yksi laskentajärjestelmien teorian tärkeimmistä suunnasta viimeisen kymmenen vuoden aikana. [5 ]
- 1999 - CRM-Fields-PIMS-palkinto
- 2012 - Kanadalainen Gerhard Herzbergin kultamitali
- 2015 - BBVA Foundation Frontiers of Knowledge Awards "Hänen tärkeästä roolistaan määriteltäessä, mitä tietokoneet voivat ratkaista tehokkaasti ja mitä eivät. Hänen työllään on ollut valtava vaikutus kaikilla aloilla, joilla monimutkaiset laskelmat ovat kriittisiä." [6 ]
Katso myös
Muistiinpanot
- ↑ "The Complexity of Theorem Proving Procedures" Arkistoitu 7. heinäkuuta 2007 Wayback Machinessa
- ↑ Cook, Stephen Arthur Yhdysvaltain kansallisen tiedeakatemian verkkosivuilla
- ↑ Stephen Cook Arkistoitu 31. elokuuta 2019 Wayback Machinessa
- ↑ "Personal View of Computer Science at Berkeley" Arkistoitu 4. maaliskuuta 2016 Wayback Machinessa Richard Karp 30th Anniversary of the Berkeley Computer Science Department
- ↑ ACM Award Citation / Stephen A Cook (linkkiä ei ole saatavilla)
- ↑ BBVA Foundation Frontiers of Knowledge -palkinnon sai Stephen Cook, koska hän totesi, että jotkin ongelmat eivät sovellu tehokkaasti laskettavissa oleviin ratkaisuihin | Virtual-S… (linkki ei käytettävissä) . Käyttöpäivä: 19. tammikuuta 2016. Arkistoitu alkuperäisestä 22. helmikuuta 2019.
Linkit
- Stephen Cookin verkkosivusto Toronton yliopistosta
- "Stephen Cook" NSERC - verkkosivustolla
 Temaattiset sivustot | ||||
|---|---|---|---|---|
| Sanakirjat ja tietosanakirjat | ||||
| ||||
| Turing-palkinnon voittajat | |
|---|---|
| |