Educational activities

Educational activities

Latest teachings

All teaching (4)

2020- 2025: Mathématiques pour l’ingénieur II

2020- 2025: Algèbre 2: Réduction des endomorphismes et formes quadratiques

2020- 2025: Algèbre 3: Réductions et Groupes

2020- 2025: Outils mathématiques pour la mécanique

Latest supervisions

All supervision (2)

2017: Analyse statique modulaire precise par interpretation abstraite pour la preuve automatique de correction de programmes.

2015: Un protocole de charge adaptatif pour les batteries Lithium-Ion