Szakács, Stephen Arthur
| Stephen Arthur Cook | |
|---|---|
| Stephen Arthur Cook | |
| Születési név | angol Stephen Arthur Cook |
| Születési dátum | 1939. december 14. (82 évesen) |
| Születési hely | Buffalo , New York , USA |
| Ország | |
| Tudományos szféra | Informatika |
| Munkavégzés helye |
Kaliforniai Egyetem a Torontói Berkeley Egyetemen |
| alma Mater | Harvard Egyetem |
| Akadémiai fokozat | Ph.D |
| tudományos tanácsadója | Wang Hao (Hao Wang) |
| Diákok | Walter Savic |
| Ismert, mint | Számítási komplexitás elmélet |
| Díjak és díjak | Turing-díj |
| Weboldal | cs.toronto.edu/~sacook/ |
| Médiafájlok a Wikimedia Commons oldalon | |
Stephen Arthur Cook ( 1939. december 14. , Buffalo , USA ) amerikai informatikus . A számítási komplexitás elméletével kapcsolatos munkájáról híres, Turing-díj nyertese .
"The Complexity of Theorem Proving Procedures" [1] című munkájában Cook bebizonyította, hogy a Boole-képletek kielégíthetőségi problémája NP -teljes . Így vetette fel a P és NP komplexitási osztályok egyenlőségének kérdését, a számítási rendszerek elméletének egyik legnehezebb kérdését, amelyre még mindig nincs válasz.
A Kanadai Királyi Társaság (1984), az US National Academy of Sciences (1985) [2] , a Londoni Királyi Társaság (1998) [3] tagja .
Életrajz
Cook 1961 - ben a Michigani Egyetemen szerzett bachelor fokozatot . Egy évvel később a Harvardon szerzett Master of Science fokozatot , ahol 1966 -ban szerezte meg Ph.D. fokozatát . 1970 - ig matematika adjunktusként dolgozott a Berkeley - ben, ahol soha nem kapott állandó alkalmazotti státuszt. Richard Karp , az 1985 -ös Turing-díjas , ezt mondja
Örökre a mi hibánk marad, hogy nem tudtuk rávenni a Matematikai Kart, hogy megadja neki ezt a státuszt.
Eredeti szöveg (angol)[ showelrejt] Örök szégyenünkre, hogy nem tudtuk rávenni a matek tanszéket, hogy adjon neki megbízatást. — Richard Karp a Berkeley Számítástudományi Tanszék fennállásának 30. évfordulóján [4]Ezt a kitüntetést a Torontói Egyetem adományozta neki azzal , hogy 1975 -ben Stephen Cookot professzorrá nevezte ki .
Díjak
- 1982 – Turing-díj „A számítástechnika összetettségének megértésében elért jelentős előrelépésért. Munkája megalapozta az NP-teljesség elméletét. Ennek az osztálynak a tulajdonságainak és határainak vizsgálata a számítástechnikai rendszerek elméletének egyik legfontosabb irányává vált az elmúlt tíz évben. [5 ]
- 1999 - CRM-Fields-PIMS díj
- 2012 – a kanadai Gerhard Herzberg aranyérem
- 2015 – A BBVA Foundation Frontiers of Knowledge Awards „A számítógépek által hatékonyan megoldható és nem megoldható fontos szerepéért. Munkája óriási hatást gyakorolt minden olyan területen, ahol az összetett számítások kritikusak." [6 ]
Lásd még
Jegyzetek
- ↑ "The Complexity of Theorem Proving Procedures" archiválva 2007. július 7-én a Wayback Machine -nél
- ↑ Cook, Stephen Arthur az Egyesült Államok Nemzeti Tudományos Akadémia honlapján
- ↑ Stephen Cook archiválva : 2019. augusztus 31. a Wayback Machine -nél
- ↑ "A Personal View of Computer Science at Berkeley" archiválva : 2016. március 4., a Wayback Machine Richard Karp 30. évfordulója a Berkeley Számítástudományi Tanszéken
- ↑ ACM Award Citation / Stephen A Cook (hivatkozás nem érhető el)
- ↑ A BBVA Foundation Frontiers of Knowledge díját Stephen Cook kapta, amiért megállapította, hogy bizonyos problémák nem alkalmasak hatékonyan kiszámítható megoldásra | Virtual-S… (nem elérhető link) . Hozzáférés dátuma: 2016. január 19. Az eredetiből archiválva : 2019. február 22.
Linkek
- Stephen Cook honlapja a Torontói Egyetemen
- "Stephen Cook" az NSERC honlapján
 Tematikus oldalak | ||||
|---|---|---|---|---|
| Szótárak és enciklopédiák | ||||
| ||||
| Turing- díjasok | |
|---|---|
| |