Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (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

Derniers encadrements

Tous les encadrements (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