I’m a postdoctoral researcher (Juan de la Cierva-incorporación fellowship) working with Albert Atserias in the Department of Ciències de la Computació of the UPC Barcelona Tech.
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.
Previously
- 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.
Contacts
Universitat Politècnica de Catalunya
Dept. Ciències de la Computació
Jordi Girona Salgado 31, Omega-223
08034 Barcelona,
SPAIN
The Computer Science Department is easily reachable from the city center with the green metro line (L3) and 3 minutes walk (a bit uphill). My office (223) and Albert's (215) are on the second floor of the Omega building.
Last update on Feb 11, 2021.