Yasmina ABDEDDAIM
Biography:
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.
Educations:
- Temps-Réel
- Algorithmique
- Systèmes Critiques
Research:
- Vérification - Model checking
- Ordonnancement temps-réel