Je suis Professeur des Universités depuis 2003 au département Réseaux et Télécommunications de l’IUT de Villetaneuse, Université Paris 13. Je suis membre de l’équipe LoVe (Logique et Vérification) du Laboratoire d’informatique de Paris Nord, plus spécifiquement dans l’axe de recherche spécification et vérification.
Je suis également Adjointe au Directeur Scientifique Référent du CNRS pour la région Normandie.

Ma thématique de recherche concerne la spécification et la vérification formelles de systèmes concurrents pour garantir leur bon fonctionnement, en utilisant des modèles d'automates ou de réseaux de Petri, et des modèles paramétrés. Pour combattre le problème classique de l'explosion combinatoire de l'espace des états accessibles, mes travaux exploitent la modularité des modèles, proposent des approches distribuées, des algorithmes pour la synthèse de paramètres.

J'enseigne en BUT au département Réseaux et Télécommunications de l’IUT de Villetaneuse, Université Paris 13, ainsi qu'en Master STIC à l'Université de Sciences et Technologies de Hanoï (USTH), Vietnam.

Supports de cours

Principes et architecture des réseaux (R102)

Initiation aux technologies web (R109)

Administration système et fondamentaux de la virtualisation (R202)

Sources de données (R207)

Se présenter sur Internet (SAÉ14)