Enseignement

L1 - Programmation récursive
M1 - Logique: Récursivité
M2 - Conception de langage
M2 - Logique mathématique et fondements de l'informatique: Méthodes de démonstration automatique.
L1 - De la puce au web