American Academy of Arts and Sciences Member
Martha E. Pollack
American Academy of Arts and Sciences
Prominent 2022
American Academy of Arts and Sciences Member
Kavita Bala
American Academy of Arts and Sciences
Prominent 2024
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