福岡県立修猷館高等学校から防衛大学校へ進学、同大学校土木科卒業（19期）後に陸上自衛隊へ配属される。陸上幕僚監部人事部計画課長を振り出しに陸上幕僚監部教育訓練部長・統合幕僚監部運用部長・第7師団長などを歴任し、西部方面総監（2008年3月 - 2010年3月）を最後に退官。退官後は三菱重工業顧問。
果実の贅沢（かじつのぜいたく）は、ポッカサッポロフード&ビバレッジ（旧・サッポロ飲料）が販売している国産の果汁・果粒入り清涼飲料水である。2004年に発売された「美味しぼり」から「つぶの極み」を経て現在のシリーズ名となる。ふんだんに入れられた果粒・果肉と、20〜45%にバランス良く配合された果汁が特徴である。
2004年にイギリスのコメディアン兼俳優のサシャ・バロン・コーエンと婚約、2010年に結婚。コーエンはユダヤ教徒のため、結婚を機に彼女もユダヤ教に改宗。2007年10月19日に長女（オリーヴ）を出産。
子供の頃からオーストラリア国内のコマーシャルや子供向け番組に出演。18歳の時に小説家である母親の助けを受け、2冊の小説を執筆。その後アメリカに移り、1994年から1997年までソープオペラ『Home and Away』に出演。また、演技力を高めるためにパリとロンドンで演劇を学んだ。2005年公開の『ウェディング・クラッシャーズ』のグロリア・クリアリー役でMTVムービー・アワードのブレイクスルー演技賞を受賞。2009年にはソフィー・キンセラ原作の『お買いもの中毒な私!』に主演。
スコットランド人の両親の元、オマーン・マスカットで生まれる。父親は銀行員、母親は小説家。9か月の時にオーストラリア・西オーストラリア州パースに移住。メソジスト・レディース・カレッジ（Methodist Ladies' College, Perth、小・中・高の一貫校）を卒業。
三条・長岡・高田の各学習センターを利用することにより、レポートの不明点などの相談に対処し、定期的なスクーリングを実施している。また、東進衛星予備校（長岡駅東校・上越高田駅前校）への同時入学により、国公立および難関私立大学を志望校とすることも可能となっている。
公文式の教材を数学・算数の授業に導入しており、基礎学力の定着と小中学校での履修範囲の学び直しに力を入れている。少人数制教育を基本とし、ベーシックスキルを始めとした習熟度別の授業を展開しており、月曜～木曜の週4日登校をすることで全日制と同じ3年間で卒業することが可能である。また、本コースに限り制服が導入されている。長岡駅（東口）の越後交通カンコータクシーのりばと本校を結ぶスクールバスを運行している。
両コースともに中卒・高校中退者・転校希望者のための年2回（4月・10月）入学制度を実施している。なお、通信教育コースに限り通年で生徒の受け入れを行っている。運営元が同じエイシンカレッジ系列の専門学校と連携し、進学説明会や進路ガイダンスを通年で実施しており、キャリア教育も推進している。検定取得も推進しており、合格した検定を単位として換算する制度も導入されている。
博士課程では、関数、特に乗法の複雑性を研究。1966年に博士号を取得した。数年後の1971年の論文 "The Complexity of Theorem Proving Procedures"（定理証明手続きの複雑性）で、多項式時間変換（チューリング還元）の記法とNP完全性を定式化し、充足可能性問題 (SAT) がNP完全だと示すことでNP完全問題の存在を証明した。特に後者の件はソビエト連邦のレオニード・レビンも独自に発見しており、クック-レビンの定理と呼ばれている。その論文では計算機科学最大の問題である「P対NP問題」も定式化している。「P対NP問題」は非形式的には、答えの正しさや最適さを効率的に確認できるあらゆる最適化問題について効率的アルゴリズムで最適に解くことができるかどうか、という問題である。日常生活におけるそのような最適化問題は豊富に存在するので、「P対NP問題」への肯定的な答えが得られれば、実用的にも哲学的にも意義深い結果となる。クックは、（容易に解を検証可能な）最適化問題の中に効率的アルゴリズムで解けないものがある、すなわち P と NP は等しくないと予想した。この予想は計算複雑性理論の研究を活発化させ、それによって計算問題の本質的複雑性への理解が深まり、効率的に計算できる問題についても理解が深まった。クックのP≠NP予想は今も証明されておらず、有名な7つのミレニアム懸賞問題の1つとされている。その計算複雑性理論への多大な貢献により、82年のチューリング賞を受賞。 受賞理由は次の通り。重要かつ意義深い方法で我々の計算複雑性への理解を高めさせた貢献に対して。彼の重要な論文 The Complexity of Theorem Proving Procedures は1971年 ACM SIGACT 計算理論シンポジウムで発表され、NP完全性の理論の基礎となった。過去10年間、この領域は計算機科学の中でも最も活発な研究の場となった。1975年に発表した論文 "Feasibly Constructive Proofs and the Propositional Calculus"で、多項式時間の概念のみを使った証明の記述を定式化するPV (Polynomial-time Verifiable) 方程式理論を提唱。1979年には指導学生 Robert A. Reckhow と連名の論文 "The Relative Efficiency of Propositional Proof Systems"では、p-simulation と効率的な命題証明系の記法を定式化し、そこから命題論理証明複雑性と呼ばれる分野が生まれた。彼らは「あらゆる真の論理式について短い証明がある証明系の存在」と NP = coNP が等価であることを証明した。クックはこの分野について指導学生 Phuong The Nguyen と共同で "Logical Foundations of Proof Complexity" という本を執筆している。クックの主な研究領域は計算複雑性理論と証明複雑性であり、プログラム意味論、並列計算、人工知能にも関心を寄せている。