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.