Welcome ...
I am associate professor in the computer science departement at the
University of Evry Val d'Essonne
I am permanent researcher at IBISC laboratory
(in COSMO team).
My research activities are about studying discrete systems properties :
@> Formal methods for software engineering : behavioural verification and synhtesis
@> Diagnosis : (active & passive) Diganosis and "diagnosability" of discrete event systems
@> boolean automata networks: Modularity and asynchronous behaviour