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.