スティーブン・クック

という本を執筆している"Logical Foundations of Proof Complexity"'s official page。 クックの主な研究領域は計算複雑性理論とTemplate:仮リンクであり、プログラム意味論、並列計算、人工知能にも関心を寄せている。 受賞歴 1977年