Guggenheim Fellowship
Joseph Halpern
John Simon Guggenheim Memorial Foundation
Prominent 2001
Guggenheim Fellowship
Doug James
John Simon Guggenheim Memorial Foundation
Prominent 2011
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