Modelisation and Verification research group
The Modelisation and Verification team (MoVe) located in the Luminy campus is a team from the Laboratoire d’Informatique et des Systèmes (LIS, UMR CNRS 7020), at Aix-Marseille Université. Our research topics are related with verification and synthesis of software systems, using techniques based on automata and logic. We are interested in the development of fundamental results on automata, logics, game theory, as well as applications to security.
News of the team
- Congratulations to Karoliina Lehtinen who has won the bronze medal of CNRS in 2025.
- Congratulations to Clara Bertolissi who has obtained a job of Professor at INSA Centre Val de Loire.
- Welcome to Aditya Prakash who has started a postdoc under the supervision of Karoliina Lehtinen, Elouan Renault who has started a PhD under the supervision of Nathan Lhote and Benjamin Monmege, and Léo Henry who has started an ATER position at Faculté des sciences of Aix-Marseille Université, and will pursue his research in the team.
Permanent team members
- Nicolas Baudru, maître de conférences
- Séverine Fratani, maîtresse de conférences
- Karoliina Lehtinen, chargée de recherche CNRS
- Nathan Lhote, maître de conférences
- Benjamin Monmege, maître de conférences HDR (head)
- Rémi Morin, professeur des universités
- Pierre Ohlmann, chargé de recherche CNRS
- Pierre-Alain Reynier, professeur des universités
- Jean-Marc Talbot, professeur des universités (currently on leave at LaBRI)
PhD students and non-permanent team members
- Yahia Idriss Benalioua, PhD with Nathan Lhote and Pierre-Alain Reynier (ED184 funding, 2022-)
- Nino Dauvier, PhD with Pierre-Alain Reynier and Emmanuel Filiot (ED184 funding, 2024-)
- Léo Henry, ATER Faculté des sciences (2025-)
- Olivier Idir, PhD with Karoliina Lehtinen and Thomas Colcombet (funded by ENS Lyon, 2023-)
- Vasiliki Kyriakou, PhD with Karoliina Lehtinen and Antonis Achilleos (2023-)
- Guillaume Maurras, PhD with Séverine Fratani and Pierre-Alain Reynier (ED184 funding, 2020-)
- Aditya Prakash, postdoc with Karoliina Lehtinen (funded by ANR Quasy, 2025-)
- Elouan Renault, PhD with Nathan Lhote and Benjamin Monmege (ED184 funding, 2025-)
Keywords
Software reliability and security
Formal methods for verification and synthesis: Model-Checking, Game theory on graphes, Robustness
Automata and their extensions: Transducers, Good for games, History determinism, Higher order, Weighted automata, Probabilistic automata, Timed automata, Vector addition systems
Logic: Monadic logics, Temporal logics, Hyperlogics
Institutional links
Credits
Site made with Jekyll
from the template Ockham
and jekyll-scholar.
Runs on https://gitlab.lis-lab.fr/MOVE/website
with Gitlab pages.
Something wrong? Bug or obsolete info?
Please email Benjamin Monmege at <name dot surname at lis-lab dot fr>. Thanks!