Professional Service
Advisory board of TheoretiCS a new premier platinum open-access journal covering all of Theoretical Computer Science
ACM Council
- SiG Board representative to ACM Council 2014-2018
ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) which sponsors STOC, co-sponsors SODA and sponsors or co-sponsors many other conferences
- Past Chair 2015-2018
- Chair 2012-2015
- Executive Committee Member 2001-2005
IEEE Computer Society Technical Committee on Mathematical Foundations of Computing. which sponsors FOCS, CCC, and LICS conferences.
- Past Chair 2012-2015
- Chair 2008-2011
- Vice-Chair 2003-2008
Computational Complexity Conference (CCC) Steering Committee
- Member 2007-2010
General Chair/Local Co-Chair
FOCS 2011, 2010, 2009, 2008
STOC 2006
Program Committees
FOCS 2020, 2005, 2003, 1999 (Chair), 1992
STOC 2009, 1997
CCC 2018, 2014, 2008 (Chair),1999
ITCS 2018
ICDT 2019
LICS 2016
SAT 2011, 2010, 2009, 2007, 2006, 2005, 2004
CSR 2006, RANDOM 2003, COCOON 1997