- PEPR SAIF 2023-2029
- ANTIQUE Research Team (Inria Paris)
- Bordeaux Computer Science Laboratory (LaBRI) (Université de Bordeaux)
- Computer Science Laboratory of the École polytechnique (LIX) (Institut Polytechnique de Paris)
- Formal Methods Laboratory (LMF) (Université Paris-Saclay)
- Software Safety & Security Lab (CEA-List)
- SuMo Research Team (Inria Rennes)
- TAU Research Team (Inria Saclay)
- ANR BISOUS 2023-2027
- LMF (Université Paris-Saclay)
- DEVINE Research Team (Inria Rennes)
- LS2N (Université de Nantes, École Centrale de Nantes)
- ISTIC, IRISA (Université de Rennes)
- LIPN (Université Sorbonne Paris-Nord)
- LORIA (Université de Lorraine, Inria Nancy Lorraine)
- ANR MAVeriQ 2021-2025
- IRIF (Université de Paris - CNRS)
- INRIA Rennes
- LACL (Université Paris Est Créteil)
- VERIMAG (Université Grenoble Alpes - CNRS)
- LMF (ENS Paris Saclay - CNRS)
- Procope LeaRNNIfy 2020-2021
- ERC EQualIS 2015-2019
- ANR IMPRO 2011-2014
- European Project Hycon 2 2010-2014
- European Project Univerself 2010-2013
- DIGITEO COCHAT 2009-2012
- European Project DISC 2008-2011
- ANR DOTS 2007-2010
- ANR CHECKBOUND 2007-2009
