史蒂芬·亚瑟·库克

计算机科学家、数学家，计算复杂性理论和证明复杂性的重要研究者。 1970年，他加盟多伦多大学并工作直到现在。他是NP完全性理论的奠基人，1971年发表库克定理奠定了NP完全理论的基础，从而获1982年图灵奖。Cook是对计算复杂性理论有突出贡献的计算机科学家之一。