Activités d'enseignement
J'enseigne l'informatique à l'Université Paris XI, centre d'Orsay. Voici quelques liens en rapport avec mes enseignements :
Option Terminaison
du
DEA Programmation: Sémantique, Preuves et Langages
.
Enseignements d'informatique
de l'université Paris XI.
Principes d'interprétation des Langages
.
Les TER de Génie Logiciel
.
Mon groupe de TER de Génie Logiciel
.
9/2/2004 (formatté avec
yamlpp
).
9/2/2004
(formatté avec yamlpp).