Teaching

Courses

• Half of the course “Advanced course in foundations of mathematics“, 24h, Università degli Studi di Verona, Dipartimento di Informatica, 2021. Borrowed by the doctoral programme in Mathematics, Università degli Studi di Trento, as part of the PhD course “From Hilbert’s Programme to Dynamical Algebra” – slides.
• Mini-course “Introduction to Homotopy Type Theory”, 3h, Carl Friedrich von Weizsäcker-Kolloquium, 2021 – slides and videos.
• Half of the course “Advanced course in foundations of mathematics“, 24h, Università degli Studi di Verona, Dipartimento di Informatica, 2020 – slides.

Tutorings

• Algebra II, 12h, Chair: Dr. V. Monti, Università degli Studi dell’Insubria, Dipartimento di Scienza e Alta Tecnologia, 2016.
• Algebra I, 12h, Chair: Dr. V. Monti, Università degli Studi dell’Insubria, Dipartimento di Scienza e Alta Tecnologia, 2015.
• Analisi I, 10h, Chair: Prof. A. G. Setti, Università degli Studi dell’Insubria, Dipartimento di Scienza e Alta Tecnologia, 2015.