I’m a postdoc at the Department of Ciències de la Computació at Universitat Politècnica de Catalunya in Barcelona, Spain. I’m hosted by Albert Atserias.

Previously:

I’m interested in Computational Complexity, Mathematical Logic and in particular in Proof Complexity.





Latest News

Sep 12, 2017 Moving to Universitat Politècnica de Catalunya

Feb 06, 2017 Talk: Total space in resolution

Nov 21, 2016 Talk: Strong size lower bounds in regular resolution via games

Nov 5, 2016 New website is online

Sep 13, 2016 Best Italian PhD Thesis in TCS 2016





Contact Info

Email: bonacina@cs.upc.edu

Visiting address: Jordi Girona Salgado 31, Omega-223

Mailing address
Universitat Politècnica de Catalunya
Dept. Ciències de la Computació
Jordi Girona Salgado 31, Omega-223
08034 Barcelona,
SPAIN