- On vanishing sums of roots of unity in polynomial calculus and sum-of-squares has been published in Computational Complexity
- Circular (Yet Sound) Proofs in Propositional Logic has been published in Transactions on Computational Logic
- Verification and generation of unrefinable partitions is going to be published in Information Processing Letters
- In spring 2023 I joined Extended Reunion: Satisfiability at Simons.
- On the maximal part in unrefinable partitions of triangular numbers published in Aequationes Mathematicae
Sapienza Università di Roma
Dipartimento di Scienze Statistiche
Piazzale Aldo Moro, 5