Teaching

  • Mini-course “Introduction to Homotopy Type Theory”, 3h, Carl Friedrich von Weizsäcker-Kolloquium, 2021 (slides).
  • Half of the course “Advanced course in foundations of mathematics“, 24h, Università degli Studi di Verona, Dipartimento di Informatica, 2020 (slides).
  • Tutoring for the course “Algebra II”, 12h, Chair: Dr. V. Monti, Università degli Studi dell’Insubria, Dipartimento di Scienza e Alta Tecnologia, 2016.
  • Tutoring for the course “Algebra I”, 12h, Chair: Dr. V. Monti, Università degli Studi dell’Insubria, Dipartimento di Scienza e Alta Tecnologia, 2015.
  • Tutoring for the course “Analisi I”, 10h, Chair: Prof. A. G. Setti, Università degli Studi dell’Insubria, Dipartimento di Scienza e Alta Tecnologia, 2015.

%d bloggers like this: