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
, 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.
Some ongoing research works
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.
Some former (yet still ongoing) research works
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
Lien vers le cours de programmation fonctionnelle:
I am mainly teaching practicals of Networks at University Grenoble Alpes in
I am married with Eve Basset and I have 5 children: Sonia and Gaël (born in 2011), Délia (born in 2014), Julien (born in 2016) and Yann (born in 2019).