Yasmina ABDEDDAIM

Yasmina ABDEDDAIM

Mail : yasmina.abdeddaim[at]esiee.fr

Tel. : 01 45 92 65 91

Website

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:

  • Vérification formelle
  • Algorithmique
  • Théorie des graphes

Research:

  • Vérification - Model checking
  • Ordonnancement temps-réel