Riccardo Borsetto
PhD Student in Computer Science: Type Theory, Constructive Mathematics, Formalization
I am a PhD student at the Department of Computer Science of the University of Verona, where I started in October 2024. I am a member of the Logic group led by Peter M. Schuster, advised by Margherita Zorzi and Isabella Mastroeni.
I work on formalized proof theory for modal logic, constructive and computable real analysis, nuclei for substructural logics, and categorical logic. A fuller introduction is on the research page.
Contact and identifiers
Recent
- The paper “Glivenko’s theorem underneath structure” appeared in the CiE 2026 proceedings (Springer LNCS 16674, pages 162-177).
- I spoke at SSTT 2026 in Ljubljana in June 2026 on canonical normal forms for regular categories.
- I spoke at PACMAN 2026 in Verona in June 2026 on computing with constructive reals.
- I spoke at Dagstuhl Seminar 26121, “Proof Systems in Actual Practice: Reasoning and Computation”, in March 2026.