I’m a postdoc in the Theoretical Computer Science Group at the School of Computer Science and Communication (CSC) at KTH Royal Institute of Technology in Stockholm, Sweden. I’m hosted by Jakob Nordström.

Previously I was a PhD student at the Computer Science Department at Sapienza University of Rome under the supervision of Nicola Galesi.

I’m interested in Computational Complexity, Mathematical Logic and in particular in Proof Complexity.





Latest News

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





Contact Info

Email: ilario@kth.se

Visiting address: Osquars backe 2, 5th floor, office 4519

Mailing address
KTH Royal Institute of Technology
School of Computer Science and Communication
SE-100 44 Stockholm
SWEDEN