Projets

Projets financés en cours:

  • ANR SANGRIA (Secure distributed computAtioN – cryptoGRaphy, combinatorIcs and computer Algebra), 2021-2025.
  • ANR NuSCAP (Sûreté numérique pour les preuves assistées par ordinateur), 2021–2025.
  • ANR Charm, 2021-2025
  • ANR De rerum natura (Décider l’irrationalité et la transcendance –- Algorithmes de classification en théorie des nombres et combinatoire), 2020–2023.
  • Marie Skłodowska-Curie Innovative Training Network, GRAPES (Learning, Processing and Optimizing Shapes), 2020–2024
  • Projet international ANR-FWF ECARP (Efficient certified algorithms for robot motion planning), 2020–2024
  • ANR Melodia (Méthodes pour les variétés abéliennes de petite dimension), 2020-2024.
  • ANR ∂IFFERENCE (Théorie de la complexité avec des équations différentielles discrètes), 2020-2024
  • Marie Skłodowska-Curie Innovative Training Network, POEMA (Polynomial  Optimization, Efficiency through Moments and Algebra), 2019-2022.
  • ANR CIAO (Cryptographie, isogenies et variété abéliennes surpuissantes), 2019–2023.
  • ANR GALOP (Games through the lens of ALgebra and OPtimization), 2018–2021
  • ANR SESAME (Singularities and stability for sensor-based controllers), 2018–2022
  • ANR Symbiont (Symbolic Methods for Biological Networks), 2018–2021
  • Projet européen H2020 Prometheus (PRivacy preserving pOst-quantuM systEms from advanced crypTograpHic mEchanisms), 2018–2021
  • ANR CLap-CLap (Correspondance de Langlands p-adique : une approche constructive et algorithmique), 2018–2022.
  • BPI Risq (Regroupement de l’Industrie Française pour la Sécurité post-Quantique), 2017-2020
  • ANR FLAIR (Familles de fonctions L: analyse, interactions, résultats effectifs), 2017–2021
  • ERC AlmaCrypt (Algorithmic and Mathematical Cryptology), 2016–2020