About me

Hi! My name is Massimo Lauria and I am a Researcher at Department of Statistical Sciences of Sapienza - Università di Roma.

  • massimo.lauria@uniroma1.it
  • +39-06-49910496
  • Room n.9 - Floor 4th - Dept. Statistical Sciences
  • Ricevimento per appuntamento: Lunedì 15.00-17.00


  • Clique is hard on Average for Regular Resolution accepted at STOC 2018
  • Invited contribution at the special session on SAT solving at CiE 2018
  • Member of the Program Committees of IJCAI-ECAI 2018 and SAT 2018

Mail address

Massimo Lauria
Sapienza - Università di Roma
Dipartimento di Scienze Statistiche
Piazzale Aldo Moro, 5
00185 Roma