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

Computational complexity, proof complexity and satisfiability

Professional Service

ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) which sponsors STOC, co-sponsors SODA and sponsors or co-sponsors many other conferences

  • Chair 2012-
  • 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-
  • 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

STOC 2009, 1997

FOCS 2005, 2003, 1999 (Chair), 1992

CCC 2008 (Chair),1999

SAT 2011, 2010, 2009, 2007, 2006, 2005, 2004

CSR 2006, RANDOM 2003, COCOON 1997