- The Power of Negative Reasoning accepted 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
- Clique Is Hard on Average for Regular Resolution accepted at Journal of ACM
- Upper bounds on positional Paris-Harrington games published in Discrete Mathematics
Sapienza Università di Roma
Dipartimento di Scienze Statistiche
Piazzale Aldo Moro, 5