University Courses:
Principles and Methods in Cryptography - Master's degree in Cybersecurity (LM66), Universitas Mercatorum.

Teacher training courses:

• Guida Cybersicura per Docenti Digitali - training course in Cryptography, Cybersecurity and Cyberbullying with Discentis s.r.l.

• Course on Innovative Teaching and Learning Methods related to using new technologies and AI with CONFORM Scarl. 

High School Teacher:
Teaching Mathematics and Physics at Art High School: Primo Liceo Artistico, Turin. 

Principles of Cybersecurity - Bachelor's degree in Computer Science, Università di Bologna. 

Algorithms and Data Structures in Biology - Bachelor's degree in Genomics, Università di Bologna. Lab assistant.
Logic for Computer Science - Bachelor's degree in Computer Science, Università di Bologna.

Algorithms and Data Structures in Biology - Bachelor's degree in Genomics, Università di Bologna.
Lab assistant. Course material

Support for exam preparation in Mathematics - Bachelor's degree in Computer Science, Università di Bologna.

Logica e Matematica Discreta - Laurea triennale in Informatica, Università di Torino

Introduzione al pensiero matematico - Laurea triennale in Matematica, Università di Torino

Logica e Matematica Discreta - Laurea triennale in Informatica, Università di Torino

Co-supervisor of the student Andrea Laretto's bachelor's thesis in Computer Science.

Title of the dissertation:  Formalizations of the Church-Rosser Theorem in Agda.

In June 2021, the thesis won the AILA (Italian Association of Logic and Applications) award for best Italian Bachelor thesis.