The Modelisation and Verification team (MoVe) was proud to host in the past the following members.

Past permanent team members

• Denis Lugiez, professeur des universités, retired
• Mahsa Shirmohammadi, chargée de recherche CNRS in 2017-2018

Past PhD students

• Florent Avellaneda, PhD with Rémi Morin (ED184 funding, 2010-2013), now Professeur informatique at Université du Québec à Montréal
• Damien Busatto-Gaston, PhD with Benjamin Monmege and Pierre-Alain Reynier (funded by ENS Paris-Saclay, 2016-2019), now maître de conférences at Université Paris Est Créteil
• Mathieu Caralp, PhD with Pierre-Alain Reynier and Jean-Marc Talbot (ED184 funding, 2011-2015), now technical director of LED’s chat
• Léo Exibard, PhD with Pierre-Alain Reynier and Emmanuel Filiot (funded by FRIA, 2017-2021), now maître de conférences à Université Gustave Eiffel
• Julien Ferté, PhD with Clara Bertolissi and Denis Lugiez (ED184 funding, 2010-2014), now senior software engineer at Arctic Wolf (Canada)
• Théodore Lopez, PhD with Benjamin Monmege and Jean-Marc Talbot (funded by ENS Paris-Saclay, 2019-2023), now Professeur agrégée at Education Nationale
• Stéphane Martin, PhD with Denis Lugiez (ED184 funding, 2008-2011)
• Julie Parreaux, PhD with Benjamin Monmege and Pierre-Alain Reynier (funded by ENS Rennes, 2020-2023), now postdoc in Warsaw university
• Worachet Uttha, PhD with Clara Bertolissi and Jean-Marc Talbot (Thailand funding, 2012-2016), now University Lecturer at Nakhon Pathom Rajabhat University
• Didier Villevalois, PhD with Pierre-Alain Reynier (ED184 funding, 2015-2019), now full-stack developer at Volta Medical
• El Makki Voundy, PhD with Séverine Fratani and Jean-Marc Talbot (ED184 funding, 2013-2017), now full-stack developer at Volta Medical

Past other non-permanent team members

• Louis-Marie Dando, postdoc ANR Delta (2020-2021)
• Luc Dartois, ATER Ecole Centrale de Marseille (2014-2015), now maître de conférences at Université Paris-Est Créteil
• Laure Daviaud, postdoc Labex Archimède (2014-2015), now associate professor at University of East Anglia
• Antoine Durand-Gasselin, ATER Ecole Centrale de Marseille (2015-2016), now senior software engineer at Cisco
• Youssouf Oualhadj, postdoc ANR ECSPER (2012-2013), now maître de conférences at Université Paris-Est Créteil