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
Computing Research Association Distinguished Service Award
Juris Hartmanis
Computing Research Association
Service 2014
Computing Research Association Distinguished Service Award
John Hopcroft
Computing Research Association
Service 2007
Computing Research Association Distinguished Service Award
Fred B. Schneider
Computing Research Association
Service 2016