Turing Award
Cook won the ACM Turing Award in 1982.