Recherche Research

Publications

Enseignement

J'enseigne en tant que titulaire au département d'informatique de l'Université Paris-Sud, et m'intéresse également à l'enseignement de l'informatique au lycée.

Un objectif transverse à mes cours, au-delà de la variété des thèmes abordés, est de promouvoir un aller-retour permanent entre la pratique de la programmation et l'approfondissement des outils et concepts théoriques permettant une réflexion sur cette pratique et une compréhension fine du comportement des programmes.

Cours actuels :
Programmation objet et génie logiciel (L2, deuxième semestre). Page du cours.
Graphes et outils logiques (L2, deuxième semestre). Page du cours.
Génie logiciel avancé (L3, premier semestre).
Compilation et langages de programmation (M1, premier semestre). Page du cours.
Sémantique des langages de programmation et types (M2 FIIL, premier trimestre). Page du cours.

Contact