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-maililario.bonacina@upc.edu
For students
Please do not use the email above but the email provided in the course page. Or click here to book some office time directly.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.