- Member of the Program Committee of STACS 2022 conference
- Clique Is Hard on Average for Regular Resolution published in Journal of ACM
- The Power of Negative Reasoning published in CCC 2021.
- Long-Term Visitor at Simons Institute for Satisfiability: Theory, Practice, and Beyond program
- Member of the Program Committee of SAT 2021 conference
Sapienza Università di Roma
Dipartimento di Scienze Statistiche
Piazzale Aldo Moro, 5