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.