Stephen Cook

Stephen Arthur Cook OC OOnt（生于 1939 年 12 月 14 日）是一位美籍加拿大计算机科学家和数学家，在复杂性理论和证明复杂性领域做出了重大贡献。他是多伦多大学计算机科学系和数学系的名誉大学教授。他被认为是计算复杂性理论的先驱之一。 1982年获得ACM图灵奖。库克于1961年在密歇根大学获得学士学位，并分别于1962年和1966年在哈佛大学数学系获得硕士和博士学位。 [2] 1966年，他加入加州大学伯克利分校数学系，担任助理教授，一直呆到1970年，但再次任命被拒绝。在庆祝伯克利电气工程和计算机科学系成立 30 周年的演讲中，图灵奖得主、伯克利教授理查德·卡普 (Richard Karp) 表示：“我们无法说服数学系给予他终身教职，这是我们永远的耻辱。” [ 3 ] Cook 于 1970 年加入多伦多大学计算机科学和数学系，担任副教授，并于 1975 年晋升为教授，并于 1985 年晋升为杰出教授。 领域：计算机科学教育：密歇根大学学士哈佛大学硕士博士奖项引用：.mw-parser-output .plainlist ol、.mw-parser-output .plainlist ul{line-height:inherit;list-style:none;margin:0;padding:0}.mw-parser-output .plainlist ol li,.mw-parser-output .plainlist ul li{margin-bottom:0}

图灵奖 (1982)

哥德尔讲座 (1999)

CRM-Fields-PIMS 奖（1999 年）

约翰·辛格奖 (2006)

伯纳德·博尔扎诺奖章 (2008)

Gerhard Herzberg 加拿大科学与工程金奖 (2012)

加拿大军官勋章 (2015)

BBVA 基金会知识前沿奖 (2015)