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.
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Scientist