I am a professor of mathematics at the University of Genova; the focus of my research is on number theory and arithmetic geometry.

---

Leiden Declaration on Artificial Intelligence and Mathematics

INdAM Meeting: Lean for the Curious Mathematician 2026