![](https://iutnantes.univ-nantes.fr/medias/photo/photo_cs_small_1327330822107.jpg)
Personnel de l'université
Charlotte SEIDNER
Coordonnées
- Bureau
- Site de la Fleuriaye - F1/9
- Tél
- 0228092171 (n° interne : 492171)
- Charlotte.Seidner@univ-nantes.fr
Discipline(s) enseignée(s)
Automatique (Au3, MC-Auto), Informatique (Info1)
Thèmes de recherche
Méthodes formelles, vérification de modèles de haut-niveau
Mis à jour le 09 juillet 2024.