Association for Computing Machinery
ACM SIGACT
Allen Newell
Computer science
ACM Eugene L. Lawler Award
Paris Kanellakis Award
SIGAI
Turing Award