
Ilario Bonacina
Postdoctoral Researcher, Universitat Politècnica de Catalunya
Visiting Postdoc
Dates of Visit: Jan. 12 – May 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
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Postdoc.