チューリング賞 1982: 勝者

受賞者

1. Stephen Cook

   情報科学

   for "his advancement of our understanding of the complexity of computation in a significant and profound way"; the citation in particular mentions his paper "The Complexity of Theorem Proving Procedures," which is credited with founding the theory of NP-completeness