A partir de Septembre 2009
- Responsable de la Licence Double Cursus Sciences et Humanités - Formation commune UPMC et
Université Paris 3 - Sorbonne Nouvelle.
- Responsable de l'UE Introduction à la logique
(UE transversale LXSTS) - Licence, 1ère année
- Responsable de l'UE Introduction à la
sémantique des langages
de programmation (LI337) - Licence
d'Informatique - 3ème année
- TD de Structures
Discrètes - LI214 - Licence d'Informatique, 2ème année.
- TD de Programmation récursive (LI101) - Licence, 1ère année.
Anciennement
- Responsable du parcours "Logiciels Sûrs" dans la spécialité STL
du Master d'Informatique. Cette formation dans le domaine de la sécurité
et de la sûreté n'existe plus à l'UPMC. D'autres formations dans ce
domaine en région parisienne :
Parcours Logiciels Critiques du Master d'Informatique de l'Université Paris 7,
Master Sécurité des Systèmes Informatiques de l'Université Paris 12
- Responsable de l'UE Fondements
de la programmation - LI333 - Licence d'Informatique, 3ème année.
- Responsable de l'UE Analyse
de programmes et Sémantique - APS - Master d'Informatique, 1ère année.
- Responsable de l'UE "Analyse
statique et Interprétation abstraite" - InAbs - Master d'Informatique,
2ème année.
- Cours UE "Sémantique des langages de programmation" - Master d'Informatique, 2ème année (Parcours Logiciels Sûrs) : Transparents du cours
- Cours et TD sur l'isomorphisme de Curry-Howard dans l'UE de
Logique
pour l'Informatique - LOG - Master d'Informatique, 1ère année.
Transparents du cours
TD