Teaching

Teaching

2022/2023:

• Introduction à la Programmation en Python (CoursTD et TP - L1)- Licence en Mathématiques et MIASHS, Université de Paris.
• Projet long programmation (CoursTP - M1)- Master en Informatique, Université de Paris.
• Introduction à l'apprentissage profond (CoursTP - M2)- Master en Informatique, Université de Paris.
• Models of programming languages (Cours - M2)- Master de Recherche en Informatique Fondamentale, Université de Paris.

2021/2022:

• Introduction à la Programmation en Python (CoursTD et TP - L1)- Licence en Mathématiques et MIASHS, Université de Paris.
• Introduction à l'apprentissage profond (CoursTP - M2)- Master en Informatique, Université de Paris.
• Models of programming languages (Cours - M2)- Master de Recherche en Informatique Fondamentale, Université de Paris.

2020/2021:

• Introduction a la Programmation en Python (CoursTD et TP - L1)- Licence en Mathématiques et MIASHS, Université de Paris.
• Langages de Script (CoursTP - L3)- Licence en Informatique, Université de Paris.
• Models of programming languages (Cours - M2)- Master de Recherche en Informatique Fondamentale, Université de Paris.

2018/2019:

• Programmation Fonctionnelle (Cours - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Langages de Script (CoursTP - L3)- Licence en Informatique, Université de Paris.
• Programmation Orientée objet (Cours - M1)- Master en Bio-Informatique, Université Paris Diderot - Paris 7.
• Linear Logic (Cours - M2)- Master de Recherche en Informatique Fondamentale, Université Paris Diderot - Paris 7.
• Compilation (TD - M1)- Master en Informatique, Université Paris Diderot - Paris 7.
• Machines virtuelles (Cours et TD - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.

2017/2018:

• Programmation Fonctionnelle (Cours - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Programmation Orientée objet (Cours - M1)- Master en Bio-Informatique, Université Paris Diderot - Paris 7.
• Linear Logic (Cours - M2)- Master de Recherche en Informatique Fondamentale, Université Paris Diderot - Paris 7.
• Outils classiques correspondance preuves-programmes (Cours - M2)- Master en Logique Mathématique et Fondamenets de l'Informatique, Université Paris Diderot - Paris 7.
• Compilation (TD - M1)- Master en Informatique, Université Paris Diderot - Paris 7.
• Machines virtuelles (Cours et TD - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.

2016/2017:

• Programmation Fonctionnelle (Cours - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Programmation Orientée objet (Cours - M1)- Master en Bio-Informatique, Université Paris Diderot - Paris 7.
• Projet d'informatique (Cours/TD - L2)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Outils classiques correspondance preuves-programmes (Cours - M2)- Master en Logique Mathématique et Fondamenets de l'Informatique, Université Paris Diderot - Paris 7.
• Compilation (TD - M1)- Master en Informatique, Université Paris Diderot - Paris 7.
• Machines virtuelles (Cours et TD - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.

2015/2016:

• Programmation Fonctionnelle (Cours - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Programmation Orientée objet (Cours - M1)- Master en Bio-Informatique, Université Paris Diderot - Paris 7.
• Projet d'informatique (Cours/TD - L2)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Programmation réseaux (TP - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Compilation (TD - M1)- Master en Informatique, Université Paris Diderot - Paris 7.
• Machines virtuelles (Cours et TD - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.

2014/2015:

• Programmation Fonctionnelle (Cours - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Programmation Orientée objet (Cours - M1)- Master en Bio-Informatique, Université Paris Diderot - Paris 7.
• Introduction à la Programmation (Cours - L1)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Projet d'informatique (Cours/TD - L2)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Analyse des données structurées (TP - L2)- Licence en Informatique, Université Paris Diderot - Paris 7.
• Compilation (TD - M1)- Master en Informatique, Université Paris Diderot - Paris 7.
• Machines virtuelles (TD - L3)- Licence en Informatique, Université Paris Diderot - Paris 7.

2013/2014:

• Calculabilité et Décidabilité (Cours, TD - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
• Structure de données et algorithmes (TD - ING1)- Sup Galilee Informatique, Université Paris Nord - Paris 13.

2012/2013:

• Calculabilité et Décidabilité (Cours, TD - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
• Génie Logiciel I (TD - ING1)- Sup Galilee Informatique, Université Paris Nord - Paris 13.
• Éléments d'Informatique (TP - L1)- Licence en Informatique, Université Paris Nord - Paris 13.

2011/2012:

• Calculabilité et Décidabilité (Cours, TD - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
• Éléments d'Informatique (TP - L1)- Licence en Informatique, Université Paris Nord - Paris 13.

2010/2011:

• Programmation Fonctionelle (TD, TP - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
• Calculabilité et Décidabilité (TD - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
• Éléments d'Informatique (TP - L1)- Licence en Informatique, Université Paris Nord - Paris 13.

2009/2010:

• Programmation Fonctionelle (TP - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
• Programmation Logique (TP - L3)- Licence en Informatique, Université Paris Nord - Paris 13.
• Informatica (Corso - M1)- Corso di Laurea in Scienze Strategiche e delle Comunicazioni, Interfacoltà in Scienze Strategiche, Università di Torino.

2008/2009:

• Logics of Computation (Corso - PhD)- Corso di Dottorato in Informatica, Facoltà di S.M.F.N., Università di Torino.
• Algorithmique et Programmation (TP - M2) - Master de Modèlisation Alèatoire, Université Paris Diderot - Paris 7.
• Programmation (Corso/TD - L1) - Licence de Informatique, Université Paris Diderot - Paris 7.

2006/2007:

• Logica Matematica (TD - L1)- Corso di Laurea in Informatica, Facoltà di S.M.F.N., Università degli Studi La Sapienza di Roma.

2005/2006:

• Logica Matematica (TD - L1)- Corso di Laurea in Informatica, Facoltà di S.M.F.N., Università degli Studi La Sapienza di Roma.
• Modelli di Calcolo (TD - L2)- Corso di Laurea in Matematica, Facoltà di S.M.F.N., Università degli Studi di Roma Tre.
• Introduzione all'Informatica (TP - L1)- Facoltà di Lettere e Filosofia, Università degli Studi di Roma Tre.