Ilario Bonacina

at UPC
Research area: Computer Science / Logic

PhD in Computer Science obtained at Sapienza University of Rome (2015)


I got my PhD in Computer Science in 2015 under the supervision of Prof. Nicola Galesi. After that (till Aug 2017) I was a postdoc at KTH in stockholm hoested by Prof. Jakob Nordstrom. Currently I'm a postdoc at UPC hosted my Prof. Albert Atserias.

Research lines

I'm interested in computational complexity and I'm actively working in proof complexity. I'm also interested in areas of mathematics that have (or might have) applications to that: this includes some parts of logic, combinatorics and probability.

Selected publications

Bonacina, I., & Galesi, N. (2015). A Framework for Space Complexity in Algebraic Proof Systems. J. ACM, 62(3), 1–20.

Beyersdorff, O., Bonacina, I., & Leroy, C. (2016). Lower Bounds: From Circuits to QBF Proof Systems. In 7th Conf. Innov. Theor. Comput. Sci. – ITCS (pp. 249–260).

Bonacina, I., Galesi, N., & Thapen, N. (2016). Total Space in Resolution. SIAM J. Comput., 45(5), 1894–1909.