2011/2012
- Esercitazioni di Logica per l'Informatica, Laurea triennale in Informatica (prof. Claudio Sacerdoti Coen);
2010/2011
- Corso di introduzione all'informatica teorica, "Master" in Sistemi Complessi (titolare);
- Dimostrazioni, "Master" in Informatica (prof. Jean Duprat);
2008/2009
- Lavoro guidato del corso di algoritmica, "Licence" in Matematica Applicata e Scienze Sociali (prof. Jean-Michel Autebert);
- Esercitazioni del corso di logica, "Licence" in Informatica (prof. Delia Kesner);
- Esercitazioni/lavoro guidato del corso di programmazione di rete, "Licence" in Informatica (prof. Juliusz Chroboczek).
2007/2008
- Esercitazioni del corso di Analisi Matematica 1, teoria dei limiti, CdL in Matematica (prof. Mario Girardi).