I am an assistant professor (maître de conférence) at University Grenoble Alpes. I do my research in the team TEMPO at VERIMAG and my teaching at UFR IM2AG.

Events to come

MT-CPS 2021, I am co-chairing with Nikos Arechiga the 6th workshop on MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS that will held on the 18th of May 2021 during the CPS-IoT Week 2021.

Ongoing and past events

• MOVEP 2020. I co-organized with Radu Iosif, the thematic school MOVEP that held in June 2020.
• FORMATS 2020, RV 2020, I am a member of the program committee of these conferences.
• Since September 2019, I am co-supervising with Thao Dang the PhD student Akshay Mambakam on the following topics here
• FORMATS 2018. Our paper Distance on timed words and applications written with Eugene Asarin and Aldric Degorre got the best paper award at FORMATS 2018.
• May 2018: Start of the SyMER project (funded by IDEX / Univ Grenoble Alpes) : A Systems approach to new paradigms in Metabolic and Epigenetic Regulation
• Feb 2018: Start of the MoDyLAM project (funded by Plan Cancer / Biologie des Systèmes) in feb 2018: Dynamic modeling of iron-linked redox perturbations in Acute Myeloid Leukemia. The 4 partners involved aim to produce dedicated data on normal and leukemic cells, develop mathematical models, and develop new computational tools to tackle complex problem in cancer systems biology.
• AVERTS 2017: invited talk.

Research activities

• Learning boolean functions and automata, in particular, from positive examples.
• Robustness, monitoring and data mining of temporal behaviours, mainly based on signal temporal logic (STL) and its extensions.
• Validation of hybrid system, in particular via random sampling of its input temporal behaviours.

• Timed automata theory, where I look at quantitative behaviours inspired by information theory.
• Stochastic, concurrent and timed games.
• Maximal entropy random sampling behaviours of timed/hybrid or discrete models.

A list of my publications is available here.