Curriculum vitae
Education
- PhD in Computer Science, University of Verona, October 2024 - present. Logic group; advisors: Margherita Zorzi and Isabella Mastroeni. Thesis topic: proof theory for modal logic, formalized in Cubical Agda.
- MSc in Computer Science, University of Padua, April 2023, 110/110 summa cum laude (Erasmus+ exchange at Radboud University Nijmegen). Thesis: A canonical normal form theorem for the type theory of regular categories.
- MSc in Mathematics, University of Padua, April 2019, 110/110. Thesis: Hedberg’s Theorem in the Minimalist Foundation.
Publications and talks
- See the complete publications list.
- See the complete talks list.
Teaching
- Teaching Assistant, University of Verona, 2024-2025: Foundations of Mathematics; Mathematical Logic.
- Teaching Assistant, University of Padua, September 2021 - May 2023: Logic and Computability.
- Mathematics and Physics teacher, Liceo (Veneto), 2019-2020.
Service
- Editorial collector, Dagstuhl Reports Vol. 16 (Seminar 26121).
Schools and meetings
- Dagstuhl Seminar 26121
- TYPES 2026
- CSL 2026
- HoTT/UF 2025
- EuroProofNet WG6
- “Proof and Computation” Autumn School 2025
- LFPSI School 2025
Skills
- Proof assistants: Cubical Agda, Agda, Lean 4, Coq/Rocq.
- Programming: Haskell, PureScript, F#, OCaml, Python, SQL.
- Tools: Git, LaTeX, Typst, Nix.
Languages
Italian (native), English (C1, IELTS 7.0), basic Japanese and Korean.