Ilario Bonacina
prof_pic_color.jpg

UPC Barcelona Tech


ilario.bonacina@upc.edu
+34 934137826
Room: Omega-223, Campus Nord, UPC



I’m a Profesor Lector (~Assistant Professor) in the Computer Science Department of the UPC Barcelona Tech.

I’m interested in theoretical aspects of computer science, computational complexity, mathematical logic and, in particular, in proof complexity.


News

Mar 24, 2024 I’ll be at the Proof Complexity and Beyond Oberwolfach workshop.
Feb 12, 2024 Weighted, Circular and Semi-Algebraic Proofs appeared in JAIR.
Oct 15, 2023 I am in the Program Committee of STACS 2024.
Oct 01, 2023 I am a Profesor Lector at UPC.
Jul 01, 2023 Polynomial Calculus for MaxSAT appeared in SAT’23.

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