Ilario Bonacina

Postdoctoral Researcher, Universitat Politècnica de Catalunya
Visiting Postdoc
Dates of Visit: Jan. 12May 14, 2021

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.

Program Visits