計算理論、特に計算複雑性理論の論理学的側面や証明複雑性(英語版)の研究に従事している。2012年現在、トロント大学計算機科学科と数学科の教授である。外部リンク経歴[編集]米ニューヨーク州バッファロー生まれ。1961年ミシガン大学卒業。ハーバード大学で1962年に修士号、1966年に博士号取得。同年カリフォルニア大学バークレー校数学科助教授となったが、1970年には在職権を更新できなかった。30周年式典でのスピーチで、チューリング賞受賞者で同大学教授リチャード・カープは「数学科を説得して彼に在職権を与えさせられなかったのは、我々の永遠の恥辱である」と述べた[1]。研究[編集]博士課程では、関数、特に乗法の複雑性を研究。1966年に博士号を取得した。NP完全だと示すことでNP完全問題の存在を証明した。後者の件はソビエト連邦のレオニード・レビン(英語版)も独自に発見しており、クック-レビンの定理(英語版)と呼ばれている。その論文では計算機科学最大の問題である「P対NP問題」も定式化している。「P対NP問題」は非形式的には、答えの正しさや最適さを効率的に確認できるあらゆる最適化問題について効率的アルゴリズムで最適に解くことができるかどうか、という問題である。日常生活におけるそのような最適化問題は豊富に存在するので、「P対NP問題」への肯定的な答えが得られれば、実用的にも哲学的にも意義深い結果となる。等しくないと予想した。この予想は計算複雑性理論の研究を活発化させ、それによって計算問題の本質的複雑性への理解が深まり、効率的に計算できる問題についても理解が深まった。クックのP≠NP予想は今も証明されておらず、有名な7つのミレニアム懸賞問題の1つとされている[4][5]。その計算複雑性理論への多大な貢献により、82年のチューリング賞を受賞。重要かつ意義深い方法で我々の計算複雑性への理解を高めさせた貢献に対して。計算理論シンポジウムで発表され、NP完全性の理論の基礎となった。過去10年間、この領域は計算機科学の中でも最も活発な研究の場となった。(英語版)と呼ばれる分野が生まれた。等価であることを証明した。いう本を執筆している[8]。フェロー[9]王立協会とカナダ王立協会のフェローである。米国科学アカデミーとアメリカ芸術科学アカデミーの会員にも選ばれている。これまでに30人の学生が彼の指導で博士号を取得している。私生活[編集]子どもは2人おり、2012年現在は妻と共にトロント在住。趣味はヴァイオリンとセーリング。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。