American Academy of Arts and Sciences Member
Deborah Estrin
American Academy of Arts and Sciences
Prominent 2007
American Academy of Arts and Sciences Member
American Academy of Arts and Sciences Member
Joseph Halpern
American Academy of Arts and Sciences
Prominent 2015
American Academy of Arts and Sciences Member
Fred B. Schneider
American Academy of Arts and Sciences
Prominent 2017
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