Research output per year
Research output per year
BS8 1UB
I study impossibility results ("lower bounds") that show fundamental computational problems require exponential running time for popular types of algorithms. This motif is mathematically distilled and explored in the field of proof complexity, using techniques from combinatorics, logic, and circuit and communication complexity, with results often applicable to areas such as combinatorial optimization and learning theory.
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)