I’m interested in computational complexity, mathematical logic and in particular in proof complexity. A non-exaustive list of open problems I find interesting is here.
- 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 was hosted by Jakob Nordström.
- PhD student at the Computer Science Department at Sapienza University of Rome under the supervision of Nicola Galesi.
Universitat Politècnica de Catalunya
Dept. Ciències de la Computació
Jordi Girona Salgado 31, Omega-223
Last update on Feb 11, 2021.