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

  • The team is proud to welcome soon Pierre Ohlmann, with a position of chargé de recherche CNRS, in the beginning of 2024.
  • The ANR JCJC project QuaSy whose principal investigator is Karoliina Lehtinen has been accepted and will start in 2024.
  • Julie Parreaux has defended her PhD on October 24, 2023.

Permanent team members

PhD students and non-permanent team members

Keywords

Verification: Model-Checking, Synthesis, 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

Security: Access control, Processus calculus

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!