Teaching 2026/2027 [Autumn 2026] Lecturer for Instituzioni di Matematica, Chimica Industriale, Università degli Studi di Milano. [Autumn 2026] Lecturer for Computational Logic, Bachelor of Science in Artificial Intelligence, Universities of Milano-Bicocca, Milano Statale and Pavia. 2025/2026 [Autumn 2024] Lecturer for Matematica e fisica con elementi di abilità informatiche (cognomi A-K), Chimica e tecnologia farmaceutiche, Università degli Studi di Milano. 2024/2025 [Autumn 2024] Tutor for Matematica, Corso di Viticoltura ed Enologia, Università degli Studi di Milano. 2023/2024 [Spring 2024] Tutor for Informatica Teorica, Department of Computer Science and Engineering, Università di Bologna. 2018-2022 I have been a teaching assistant for some courses in pure mathematics during my PhD at the University of Leeds (check my CV for the full list).