Ilario Bonacina

I’m an Assistant Professor (Profesor Lector) in the Computer Science Department of the UPC Barcelona Tech, a member of the ALBCOM research group and I participate to the PROOFS-BEYOND research project.

I obtained my PhD in December 2015 at Sapienza University of Rome under the supervision of Prof. Nicola Galesi. Between 2016 and August 2017 I was a postdoctoral researcher at the KTH Royal Institute of Technology hosted by Prof. Jakob Nordström. Since September 2017 I am affiliated with UPC Barcelona Tech, first as a postdoctoral researcher hosted by Prof. Albert Atserias and then supported by a Juan de la Cierva-incorporation fellowship.

E-mail
ilario.bonacina@upc.edu
For students Please do not use the email above but the email provided in the course page.

Address
UPC Barcelona Tech
Dept. Ciències de la Computació
Jordi Girona 1-3, Omega-223
08034 Barcelona SPAIN

Key research interests
My research spans over aspects of Theoretical Computer Science, in particular Computational Complexity, Logic in Computer Science, Proof Complexity, SAT-solving, and Optimization.

Latest News & Upcoming events