Educational activities

Educational activities

Latest teachings

All teaching (3)

2020- 2025: Analyse 1 : Fonction d’une variable réelle

2020- 2025: Analyse 3 : Fonctions de plusieurs variables

2020- 2025: Analyse Hilbertienne

Latest supervisions

All supervision (2)

2018: ParTraP : un langage pour la specification et verification a l'execution de proprietes parametriques

2016: Modelisation graphique et simulation en traitement d'information quantique