Teaching

Professor at Université Denis Diderot, Paris 7 (UFR d'Informatique)

DEUG MIAS : Logique et circuits
Licence : Logique
IUP : Programmation logique et intelligence artificielle
Magistère STIC : Programmation
Master Informatique - (Parcours LC, LP, MPRI - 1ère année) : Sémantique des langages de programmation
Master Informatique - (Parcours LP, SRI, LC - 1ère année) : Génie Logiciel Avancé
MPRI - 2ème année : Logique Linéaire et Paradigmes Logiques du Calcul