
Massimo Lauria
Assistant Professor, Sapienza - Università di Roma
Visiting Scientist
Dates of Visit: Jan. 12 – May 14, 2021
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
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist.