This semester (Spring 13), I'm teaching
Next semester (Fall 13), I'm scheduled to teach
My main research interests are in circuit complexity and proof complexity. I also have an old interest in applications of semigroup theory to circuit complexity and a new interest in algorithms for the propositional satisfiability problem. More...
I currently serve on the following committees: