图灵奖
Cook won the ACM Turing Award in 1982.