• 2025
  • Teacher & Lab Instructor, Introduction to Analysis and Optimization Techniques, Bachelor in Informatics and Management of Digital Business, Faculty of Engineering, Free University of Bozen-Bolzano, March–May (forthcoming)
• 2024
  • Lab Instructor, Logica e Ragionamento, Corso di Laurea in Scienze e Tecnologie della Comunicazione, Dipartimento di Psicologia e Scienze Cognitive, Università di Trento, October–December
    Teacher: Prof. Katya Tentori
• 2023
  • Lab Instructor, Formal Languages and Compilers, Bachelor in Computer Science, Faculty of Computer Science, Free University of Bozen-Bolzano, March–April
    Teacher: Prof. Alessandro Artale
  • Lab Instructor, Logica e Ragionamento, Corso di Laurea in Scienze e Tecnologie della Comunicazione, Dipartimento di Psicologia e Scienze Cognitive, Università di Trento, October–December
    Teacher: Prof. Katya Tentori
  • Lab Instructor, Programmazione 1, Corso di Laurea in Informatica, Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento, October
    Teacher: Prof. Marco Roveri
• 2022
  • Lab Instructor, Logica e Ragionamento, Corso di Laurea in Scienze e Tecnologie della Comunicazione, Dipartimento di Psicologia e Scienze Cognitive, Università di Trento, September–December
    Teacher: Prof. Katya Tentori
• 2021
  • Lab Instructor, Logica e Ragionamento, Corso di Laurea in Scienze e Tecnologie della Comunicazione, Dipartimento di Psicologia e Scienze Cognitive, Università di Trento, September–December
    Teacher: Prof. Katya Tentori
• 2020
  • Lab Instructor, Logica e Ragionamento, Corso di Laurea in Scienze e Tecnologie della Comunicazione, Dipartimento di Psicologia e Scienze Cognitive, Università di Trento, September–December
    Teacher: Prof. Katya Tentori
• 2017
  • Tutor, Summer School for High School Students, Functional Programming, Graphs and Logic, University of Manchester, School of Computer Science, July
    Teacher: Prof. Giles Reger