Teaching
2012/2013:
- Calculabilité
et Décidabilité (19.5h Cours, 19.5h TD - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
- Génie Logiciel I (12h TD - ING1)- Sup Galilee Informatique, Université Paris Nord - Paris 13.
- Éléments
d'Informatique (6h TP - L1)- Licence en Informatique, Université Paris Nord - Paris 13.
2011/2012:
2010/2011:
- Programmation
Fonctionelle (19.5h TD, 19.5h TP - L3)- Licence en Informatique,
Université Paris Nord - Paris 13.
- Calculabilité
et Décidabilité (19.5h TD - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
- Éléments
d'Informatique (10.5h TP - L1)- Licence en Informatique, Université Paris Nord - Paris 13.
2009/2010:
- Programmation Fonctionelle (14h TP - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
- Programmation Logique (18h TP - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
- Informatica (42h Corso - M1)- Corso di Laurea in Scienze Strategiche e delle Comunicazioni, Interfacoltà in Scienze Strategiche, Università di Torino.
2008/2009:
- Logics of Computation (8h Corso - PhD)- Corso di Dottorato in Informatica, Facoltà di S.M.F.N., Università di Torino.
- Algorithmique et Programmation (30h TP - M2) - Master de Modèlisation Alèatoire, Université Paris Diderot - Paris 7.
- Programmation (60h Corso/TD - L1) - Licence de Informatique, Université Paris Diderot - Paris 7.
2006/2007:
- Logica Matematica (34h TD - L1)- Corso di Laurea in Informatica, Facoltà di S.M.F.N., Università degli Studi La Sapienza di Roma.
2005/2006:
- Logica Matematica (48h TD - L1)- Corso di Laurea in Informatica, Facoltà di S.M.F.N., Università degli Studi La Sapienza di Roma.
- Modelli di Calcolo (12h TD - L2)- Corso di Laurea in Matematica, Facoltà di S.M.F.N., Università degli Studi di Roma Tre.
- Introduzione all'Informatica (50h TP - L1)- Facoltà di Lettere e Filosofia, Università degli Studi di Roma Tre.