Bienvenue ...

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