Teaching

Lecture Courses given in the year 2014/2015 at Université Paris-Diderot

• Programmation Fonctionnelle Avancée, 4th year (niveau M1).
• IP1 - Introduction à la Programmation, 1st year (niveau L1).
• Programmation Logique et par Contraintes avancée, 5th year (niveau M2)
• some lectures of Démonstration Automatique, 2nd year MPRI (niveau M2).
• ADS4 - Analyse de Données Structurées, 2nd year (niveau L2).
• LL4 - Logiciel Libre, 2nd year (niveau L2).

Some Courses Given in Previous Years at Université Paris-Diderot

• OL3 - Outils Logiques, 2nd year (niveau L2).
• PF5 - Programmation Fonctionnelle 3rd year (niveau L3).
• IF1 - Introduction à l'Informatique, 1st year (niveau L1), Université Paris-Diderot.
• Programmation Logique par Contraintes, 4nd year (niveau M1), Université Paris-Diderot.
• LL4 - Logiciel Libre, 2nd year (niveau L2), Université Paris-Diderot.

Some Courses Given in Previous Years at Université Paris-Diderot

• Le cours Complexité du Magistère d'Informatique
• Le cours Logique du Magistère d'Informatique
• Le cours Programmation 2 du Magistère d'Informatique
• Réseaux, 1st year, ENS de Cachan (niveau L3)

Other Lectures

• Tree Automata and Rewriting, 5th International School on Rewriting, Utrecht, July 3-8, 2010.