Teaching Experience
Spring 2025
Introduction to Proof Theory and Ordinal Analysis. Informal Course, USI.
Introduction to Proof Theory and Ordinal Analysis. Informal Course, USI.
Spring 2024
Introduction to Provability Logic. Informal Course, USI.
Fall 2023Introduction to Provability Logic. Informal Course, USI.
Logic. MA in philosophy, USI.
Teaching Assistant of F. Berto
Spring 2023
Gödel's Incompleteness Theorems. Informal Course, USI.
Gödel's Incompleteness Theorems. Informal Course, USI.
Fall 2022
Topics in Logic. MA in philosophy, USI.
Teaching Assistant of T. Williamson
Topics in Logic. MA in philosophy, USI.
Teaching Assistant of T. Williamson
Fall 2021
Topics in Logic. MA in philosophy, USI.
Teaching Assistant of S. Leuenberger
Topics in Logic. MA in philosophy, USI.
Teaching Assistant of S. Leuenberger