Teaching
2015/2016:
- Programmation Fonctionnelle (24h Cours - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.
- Programmation Orientée objet (20h Cours - M1)- Master en Bio-Informatique, Université Paris Diderot - Paris 7.
- Projet d'informatique (24h Cours/TD - L2)- Licence en
Informatique, Université Paris Diderot - Paris 7.
- Programmation
réseaux (24h TP - L3)-
Licence en Informatique, Université Paris
Diderot - Paris 7.
- Compilation (24h TD - M1)- Master en Informatique, Université Paris Diderot - Paris 7.
- Machines
virtuelles (42h Cours et TD - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.
2014/2015:
2013/2014:
- Calculabilité
et Décidabilité (19.5h Cours, 19.5h TD - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
- Structure de données et algorithmes (18h TD - ING1)- Sup Galilee Informatique, Université Paris Nord - Paris 13.
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.