スティーブン・クック
ウィキペディア フリーな encyclopedia
スティーブン・アーサー・クック(Stephen Arthur. Cook, 1939年12月14日 - )は、米国・カナダの計算機科学者・数学者。専門は計算理論、特に計算複雑性理論の論理学的側面や証明複雑性(英語版)の研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。
概要 Stephen Cookスティーブン・クック, 生誕 ...
Stephen Cook スティーブン・クック | |
---|---|
2008年 | |
生誕 |
(1939-12-14) 1939年12月14日(84歳) アメリカ合衆国 ニューヨーク州バッファロー |
国籍 | アメリカ合衆国 |
研究分野 | 計算機科学 |
研究機関 |
カリフォルニア大学バークレー校 トロント大学 |
出身校 |
ハーバード大学 ミシガン大学 |
論文 | On the Minimum Computation Time of Functions (1966) |
博士課程 指導教員 | ハオ・ワン |
博士課程 指導学生 | ウォルター・サヴィッチ |
主な業績 |
NP完全性 命題論理証明複雑性(英語版) クック-レビンの定理(英語版) |
主な受賞歴 | チューリング賞(1982) |
プロジェクト:人物伝 | |
テンプレートを表示 |
閉じる