Awards Directory

These accolades reflect the exceptional researchers and educators across the College’s three departments.

Departments
Award Category
Year

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

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