Teaching

• L1: Introduction à l'informatique et à la programmation (IF1)
• DEUG MIAS : Logique et circuits
• Licence : Outils Logiques, Logique
• Licence Informatique (3ème année) : Programmation fonctionnelle
• IUP : Programmation logique et intelligence artificielle
• Magistère STIC : Programmation
• Master Informatique - (Parcours MPRI - 1ère année) : Initiation à la recherche
• Master Informatique - (1ère année) : Sémantique des langages de programmation
• Master Informatique - (Parcours LP, SRI, LC - 1ère année) : Génie Logiciel Avancé
• Master Informatique - (Parcours LP - 2ème année) : Typage
• MPRI - 2ème année: Logique Linéaire et Paradigmes Logiques du Calcul