|Address||Inria Grenoble - Rhône-Alpes
|655, avenue de l'Europe |
| F-38330 Montbonnot Saint Martin
My research interests include formal methods, automated verification, model-based design, specification languages, automata theory, petri nets, process algebra, concurrent and distributed systems, communicating systems, component and service-based systems.
I defended my PHD thesis in 2011 and during my thesis study, I developped several algorithms for diagnosability and predictability analysis of distributed discrete event systems in different frameworks.
I was a teaching assistant in the team IASI of LRI, Université Paris-Sud in 2011-2012.
Now I am a postdoctoral fellow in the CONVECS project-team of Inria Grenoble, where I work on verification of communicating systems using model checking.