Massimo Lauria

Assistant Professor, Sapienza - Università di Roma

Massimo Lauria is an Associate Professor at the Department of Statistical Sciences of Sapienza - Università di Roma. His research interests are computational complexity, proof complexity and general topics of discrete mathematics such as combinatorics, and graph theory and logic.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Scientist