Contact

CSE 668
206-543-5114
beamecs.washington.edu
Areas of interest: 

Computational complexity, proof complexity and satisfiability

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

     STOC Conference Website

 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