Yasmina ABDEDDAIM
Biographie :
Yasmina Abdeddaïm a obtenu un doctorat en automatique/productique à l'institut national polytechnique de Grenoble en novembre 2002. Après ses travaux de thèse au laboratoire VERIMAG, elle effectue un post-doctorat au Laboratoire d'Informatique Fondamentale LIF de Marseille. Elle est depuis 2005 enseignant chercheur au département Ingénierie des Systèmes de ESIEE-Paris, elle est aussi membre du Laboratoire d'Informatique Gaspard-Monge LIGM.
Enseignements :
- Temps-Réel
- Algorithmique
- Systèmes Critiques
Recherche :
- Vérification - Model checking
- Ordonnancement temps-réel