Стівен Кук
Стівен Артур Кук (англ. Stephen Arthur Cook нар.14 грудня 1939) — канадський та американський математик та науковець у галузі теоретичної інформатики, лауреат премії Тюрінга. Відомий своїми значними внесками в теорію складності обчислень та складності доведення, насамперед через введення поняття NP-повної задачі та теорему Кука — Левіна. Його число Ердеша 3.
Стівен Кук | |
---|---|
англ. Stephen Arthur Cook | |
| |
Ім'я при народженні | англ. Stephen Arthur Cook |
Народився |
14 грудня 1939 (82 роки) Баффало, Нью-Йорк |
Країна | США |
Діяльність | інформатик, викладач університету, математик |
Alma mater |
Гарвардський університет, Мічиганський університет |
Галузь | Теоретична інформатика |
Заклад |
Торонтський університет, Університет Каліфорнії (Берклі) |
Ступінь | доктор наук |
Науковий керівник | Hao Wang[1] |
Аспіранти, докторанти | Toniann Pitassid, Anna Lubiwd[2], Mark Bravermand[2], Walter Savitchd[2], Arvind Guptad[2], Michael Soltysd[2], H. James (Howard) Hooverd[2], Paul William Beamed[2], Romas Aleliunasd[2], Valentine Kabanetsd[2], François Pittd[2], Bruce M. Kaprond[2], Pierre Murdock McKenzied[2], Xudong Fud[2], Patrick William Dymondd[2], Antonina Kolokolovad[2], Roberto Lins de Carvalhod[2], Alan Ramsay Skelleyd[2], Tomoyuki Yamakamid[2], Tsuyoshi Moriokad[2], Phuong The Nguyend[2], Steven Perrond[2], Leslie Michael Goldschlagerd[2], Derek C. Oppend[2], Daniel Brandd[2], Martin Dowdd[2], Gloria Kissind[2], Stephen Bellantonid[2], Robert A. Reckhowd[2], Akitoshi Kawamurad[2], Dai Tri Man Led[2], Lila A. Fontesd[2], Dustin Wehrd[2], Kaveh Ghasemlood[2] і Robert Robered[2] |
Членство | Лондонське королівське товариство, Національна академія наук США, Королівське товариство Канади, Американська академія мистецтв і наук, Геттінгенська академія наук і Association for Computing Machinery |
Відомий завдяки: |
NP-повна задача, Теорема Кука — Левіна |
Діти | Гордон Кукd |
Нагороди | Премія Тюрінга (1982) |
Особ. сторінка | cs.utoronto.ca/~sacook/ |
Стівен Кук у Вікісховищі |
Публікації
- Cook, Stephen A. (1971). The complexity of theorem-proving procedures. Proceedings of the third annual ACM symposium on Theory of computing (ACM): 151–158. Архів оригіналу за 5 жовтня 2016. Процитовано 15 травня 2016. (англ.)
Примітки
- Stephen Cook. Mathematics Genealogy Project.
- Математична генеалогія — 1997.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.