Guggenheim Fellowship
David Gries
John Simon Guggenheim Memorial Foundation
Prominent 1983
Guggenheim Fellowship
Robert Constable
John Simon Guggenheim Memorial Foundation
Prominent 1990
Guggenheim Fellowship
Dexter Kozen
John Simon Guggenheim Memorial Foundation
Prominent 1991
Guggenheim Fellowship
Stephen Vavasis
John Simon Guggenheim Memorial Foundation
Prominent 1996
Guggenheim Fellowship
Éva Tardos
John Simon Guggenheim Memorial Foundation
Prominent 1999
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