New article in APAL
The article Strength and limitations of Sherali-Adams and Nullstellensatz proof systems just appeared in the Annals of Pure and Applied Logic (APAL)!
Dec 10, 2024
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.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
No matching items