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