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.
I’m interested in Computational Complexity, Mathematical Logic and in particular in Proof Complexity.
Feb 06, 2017 Talk: Total space in resolution
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
Visiting address: Osquars backe 2, 5th floor, office 4519
KTH Royal Institute of Technology
School of Computer Science and Communication
SE-100 44 Stockholm