Projects

  • PEPR SAIF 2023-2027
    • 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