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.


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,