Projects

ANR

  • SoDuCo : Social Dynamics in Urban Context : open tools, models, and data – Paris and its suburbs, 1789-1950 (with CTHP, LaSTIG, CRH)
  • TickTac : Efficient Techniques and Tools for the Verification and Synthesis of Real-Time Systems (with IRISA (Rennes), LaBRI (Bordeaux), LIS (Marseille), LSV (Cachan), ISIR (Paris))
  • APATE : A Prototype deepfake Assessment Toolbox for forensic Experts (with ENS Paris Saclay (coord), Service National de Police Scientifique, LIX, IDM)

ANR JCJC

  • LEMONADE
  • PERSEVERE

RAPID

  • Damiage : Détection d’attaques et de Menaces pour des Infrastructures à Grande Echelle’, founded by French DGA - 2019-2023

Cifre

  • “Abnomalies detection in pulmonary vessels” with GE Healthcare
  • “Verification of Variable Optical Devices in Identity Documents” with IDnow

Others