1982年ACM A・M・チューリング賞
受賞理由
重要かつ意義深い方法で我々の計算複雑性への理解を高めさせた貢献に対して。
受賞者
スティーブン・クック
重要かつ意義深い方法で我々の計算複雑性への理解を高めさせた貢献に対して。