Feb 06, 2017 Talk: Total space in resolution

Nov 21, 2016 Talk: Strong size lower bounds in regular resolution via games

Nov 5, 2016 New website is online

Sep 13, 2016 Best Italian PhD Thesis in TCS 2016

Sep 13, 2016 Talk: Space in algebraic proof systems

Aug 26 , 2016 Talk: Lower bounds: from circuits to QBF proof systems

Nov 11, 2013 Talk: Proof of Space: an application of Pebbling Games to Cryptography

Go to top