| Jul 24, 2026 | I have been named runner-up for the Fahiem Bacchus PhD Award in Satisfiability! It is a wonderful recognition of my Ph.D. work and its contributions to satisfiability research. |
| Jun 20, 2026 | I got four papers appearing at FLoC 2026 across different venues! I am looking forward to sharing our work, meeting the community, and enjoying a fantastic week of logic. See you there! |
| May 11, 2025 | I have won first place in the Poster Competition at the VIII Italian Research Day in the World, the MIUR event in Houston! It was a wonderful opportunity to present my research and connect with the Italian research community. |