。1971年，在他的论文《》，他整理了NP完备性的目标，亦产生了库克定理——布尔可满足性问题是NP完备的证明。1982年，库克获得图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。库克现为多伦多大学的计算机科学和数学系教授。