Ilario Bonacina is a Postdoctoral Researcher, working with Albert Atserias in the Department of Ciències de la Computació of the UPC Barcelona Tech. Ilario is interested in computational complexity, mathematical logic and in particular in proof complexity.