- I am a 2016-2017 Sackler Lecturer at
The Mortimer and Raymond Sackler
Institute of Advanced Studies, Tel-Aviv University, May 2017.
Fest", a workshop in honor of Neil Immerman's 60th Birthday, was held during the Fifteenth
International Workshop on Logic and Computational Complexity, July 2014 in Vienna, Austria.
- Best paper award, ICAPS 2010.
- Guggenheim Fellow, 2003.
- Fellow of the Association of Computing Machinery, 2002.
- Gödel prize, shared with Róbert Szelepcsényi, 1995.