Bienvenue ...
![](images/photo12.jpg)
Je suis Maître de Conférence,
j'enseigne au département infromatique de l'
université d'Evry Val d'Essonne
et je fais ma recherche au laboratoire d'Informatique, Biologie Intégrative et Systèmes Complexes (IBISC) ,
(équipe COSMO).
Mes activités de recherche portent essentiellement sur l'étude des propriétés des systèmes discrets :
@> Méthodes formelles pour le génie logiciel: Vérification et synthèse de comportements
@> Diagnostic : Diganostic et "diagnosticabilité" (actif & passif) des systèmes discrets
@> Réseaux d'automates booléens : Modularité et comportement asynchrone