Enseignement (98-99)

• TP DEUG MIAS, Option, Langage : Programmation par contrainte, 2nd semestre
  
• Cours-TD DEUG MIAS, Option, Projet : Techniques de réécriture pour le calcul symbolique, 2nd semestre
  
• TD Algorithmique 1, Licence, 1ier semestre
  
• TD Compilation MST 1, 2nd semestre
  
• TD Programmation Objet et Distribution, Maitrise, 1ier semestre
  
• Cours Spécification et certification du logiciel, Maitrise, 1ier semestre (annulé)
  
• Cours Programmation et démonstration automatique, DEA de Logique et Fondement de l'Informatique (Paris 7), 2nd semestre