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
- Welcome to our new permanent members in the team in September/October 2026: Chana Weil-Kennedy as chargée de recherche CNRS, and Antonio Casares Santos as maître de conférences!
- Welcome to the new PhD students in the team: Vincent Peth arrived in September 2026, Ayaan Bedi arriving in October 2026, and Sreevani Satya arriving in November 2026.
- Welcome to Codaline Bourotte, arriving as an intern in the team during Automn/Winter 2026!
- Congratulations to Keya Prakash who has been awarded a postdoc grant by the Marie Sklodowska-Curie Actions.
- Welcome to Angelo Matteo, PhD student at the University of Udine (Italy), who will visit the team for a few months!
Permanent team members
- Nicolas Baudru, maître de conférences
- Antonio Casares Santos, 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
- Chana Weil-Kennedy, chargée de recherche CNRS
PhD students and non-permanent team members
- Ayaan Bedi, PhD with Karoliina Lehtinen (funded by Shadoc, 2026-)
- Léo Henry, ATER Faculté des sciences (2025-2026), and then ATER Ecole Centrale Méditerrannée (2026-2027)
- Olivier Idir, PhD with Karoliina Lehtinen and Thomas Colcombet (funded by ENS Lyon, 2023-)
- Vincent Peth, PhD with Nathan Lhote and Thomas Colcombet (funded by ENS, 2026-)
- Keya Prakash, postdoc with Karoliina Lehtinen (funded by ANR Quasy, 2025-2026, and then by a Marie Sklodowska-Curie Actions postdoctoral grant)
- Elouan Renault, PhD with Nathan Lhote and Benjamin Monmege (ED184 funding, 2025-)
- Sreevani Satya, PhD with C. Aiswarya and Benjamin Monmege (funded by CNRS, 2026-)
Keywords
Software reliability and security
Formal methods for verification and synthesis: Model-Checking, Game theory on graphs, 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!