Стивен Кук

• Биография Стивена Кука

  • Американский и канадский ученый, внесший вклад в теорию сложности и сложности доказательств 
  • Почетный профессор Университета Торонто, считается одним из основоположников теории сложности вычислений 

• Образование и карьера

  • Получил степень бакалавра в Мичиганском университете в 1961 году, степень магистра и доктора философии в Гарварде в 1962 и 1966 годах 
  • Работал в Калифорнийском университете в Беркли, где ему было отказано в должности профессора в 1970 году 
  • Присоединился к преподавательскому составу Университета Торонто в 1970 году, где стал профессором в 1975 году и почетным профессором в 1985 году 

• Научные достижения

  • Работал над сложностью функций, особенно над умножением 
  • В 1971 году формализовал понятия сокращения за полиномиальное время и NP-полноты, доказав существование NP-полной задачи 
  • Его теорема о NP-полноте была независимо доказана Леонидом Левиным и получила название теоремы Кука-Левина 
  • Внес значительный вклад в теорию сложности, включая эквациональную теорию PV и формализацию понятий p-моделирования 
  • Стал соавтором книги по сложности доказательств и внес вклад в другие области, включая семантику языков программирования и искусственный интеллект 

• Награды и признание

  • Получил множество наград, включая премию Тьюринга и другие престижные награды 
  • Избран членом Национальной академии наук и других научных обществ 
  • В 2013 году награжден орденом Онтарио, а в 2012 году – канадской золотой медалью имени Герхарда Херцберга 

• Личная жизнь

  • Живет со своей женой в Торонто, у них двое сыновей, один из которых является олимпийским чемпионом 

• Дополнительные материалы

  • Ссылки на публичные лекции и интервью Стивена Кука, а также библиографические данные доступны на различных ресурсах