Ilario Bonacina

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. I’m interested in computational complexity, mathematical logic and in particular in proof complexity.


Conferences/Workshops I plan to attend in the near future

STOC June 24-29, Los Angeles (USA)
RaTLoCC July 15-20, Bertinoro (Italy)
Complexity Theory July 23-26, Oxford (UK)
Oxford Complexity Day July 27, Oxford (UK)
S3CS Summer School August 5-11, Stockholm (SE)

Latest News

Jun 28, 2018 - Poster: Clique is hard on average for regular resolution

Apr 23, 2018 - Note on Razborov' Switching Lemma for Resolution over k-DNFs

Feb 6, 2018 - A Springer Book from my PhD Thesis

Sep 12, 2017 - Moving to Universitat Politècnica de Catalunya


PC Member Proof Complexity Workshop 2018

Contact Info

Info on how to reach the department are in the Resources for visitors section.

Email: click to see it

Mailing address
Universitat Politècnica de Catalunya
Dept. Ciències de la Computació
Jordi Girona Salgado 31, Omega-223
08034 Barcelona,

Last modified on Jun 21, 2018.