Projets financés en cours:
- ANR PEPR PQ-TLS (Post quantum padlock for web browser).
- ANR EAGLES (Efficient Algorithms for Guessing, inequaLitiEs, and Summation), 2023-2026
- ERC 10000 Digits (Computing with integrals in Nonlinear Algebra), 2022-2027
- 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