Alonzo Church Award for Outstanding Contributions to Logic and Computation
Dexter Kozen
European Association for Computer Science Logic
Research 2022
Allen Newell Medal for Research Excellence
Greg Morrisett
Carnegie Mellon University's School of Computer Science
Prominent 2001
ACM - AAAI Allen Newell Award
Joseph Halpern
ACM - AAAI
Research 2009
ACM - AAAI Allen Newell Award
Jon Kleinberg
ACM - AAAI
Research 2014
ACM - AAAI Allen Newell Award
Carla Gomes
ACM - AAAI
Research 2022
ACM Turing Award
John Hopcroft
Association for Computing Machinery
Prominent 1986
ACM Turning Award
Juris Hartmanis
Association for Computing Machinery
Prominent 1993
ACM SIGPLAN Robin Milner Young Researcher Award
Nate Foster
Association for Computing Machinery
Research 2023
ACM SIGGRAPH Academy
Steve Marschner
Association for Computing Machinery
Research 2018
ACM SIGGRAPH Academy
Kavita Bala
Association for Computing Machinery
Research 2020
ACM Fellow
John Hopcroft
Association for Computing Machinery
Research 1994
About This Award
An ACM Fellow is a member of the Association for Computing Machinery (ACM) who has achieved outstanding accomplishments in the fields of computing and information technology or made exceptional contributions to the larger computing community.
ACM Fellow
Juris Hartmanis
Association for Computing Machinery
Research 1994
About This Award
An ACM Fellow is a member of the Association for Computing Machinery (ACM) who has achieved outstanding accomplishments in the fields of computing and information technology or made exceptional contributions to the larger computing community.