Talks

Here is a list of the talks I’ve given organized by topic. It does not include talks or seminars on works that are not mine. Slides are unavailable yet, unless stated.

Clique is hard on average for regular resolution (with slides) (and with poster)

Total space in resolution

Strong size lower bounds in regular resolution via games

Space in algebraic proof systems

Lower bounds: from circuits to QBF proof systems

Proof of Space: an application of Pebbling Games to Cryptography