American Academy of Arts and Sciences Member
John Hopcroft
American Academy of Arts and Sciences
Prominent 1987
American Academy of Arts and Sciences Member
Juris Hartmanis
American Academy of Arts and Sciences
Prominent 1992
American Academy of Arts and Sciences Member
Éva Tardos
American Academy of Arts and Sciences
Prominent 2001
American Academy of Arts and Sciences Member
Jon Kleinberg
American Academy of Arts and Sciences
Prominent 2007
American Academy of Arts and Sciences Member
Deborah Estrin
American Academy of Arts and Sciences
Prominent 2007
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