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:
-
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.
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