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