Awards Directory

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

Departments
Award Category
Year

Gödel Prize

Joseph Halpern

European Association for Theoretical Computer Science
Prominent 1997

Gödel Prize

Éva Tardos

European Association for Theoretical Computer Science
Prominent 2012

Delbert Ray Fulkerson Prize

Éva Tardos

Mathematical Optimization Society and the American Mathematical Society
Research 1998

Fulbright Scholar

Joseph Halpern

U.S. Department of State
Education 2002

Donald E. Knuth Prize

Éva Tardos

ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) and the IEEE Technical Committee on the Mathematical Foundations of Computing (TCMF)
Prominent 2023

DARPA Young Faculty Award

Hakim Weatherspoon

Defense Advanced Research Projects Agency
Research 2011

DARPA Young Faculty Award

Hadas Kress-Gazit

Defense Advanced Research Projects Agency
Research 2012

DARPA Young Faculty Award

Christopher Batten

Defense Advanced Research Projects Agency
Research 2012

DARPA Young Faculty Award

Zhiru Zhang

Defense Advanced Research Projects Agency
Research 2015

George B. Dantzig Prize

Éva Tardos

Society for Industrial and Applied Mathematics
Research 2006

Computing Research Association Distinguished Service Award

David Gries

Computing Research Association
Service 1991

Computing Research Association Distinguished Service Award

Juris Hartmanis

Computing Research Association
Service 2000