Ilario Bonacina

Ilario Bonacina

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





Contacts

bonacina@cs.upc.edu

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.