Projets APR

Analyse de paramètres de classes de DAGS

Project Leader : Antoine Genitrini

01/10/2023

https://anr.fr/Projet-ANR-23-CE48-0014

Leveraging Software Heritage to Enhance Cybersecurity

INRIA est nommé coordinateur par l'ANR - Projet concernant la cybersécurité

Project Leader : Antoine Mine

01/10/2023

https://ptcc.fr/projets/swhsec/

Raisonnements formellement certifiés en apprentissage automatique

Project Leader : Antoine Mine

01/10/2023

https://anr.fr/Projet-ANR-23-CE25-0009

Improving Digital Systems Security Evaluation

Project Leader : Antoine Mine

01/07/2022

https://www.pepr-cybersecurite.fr/projet/secureval/

TORI - In-situ Topological Reduction of Scientific 3D Data

TORI (In-situ Topological Reduction of Scientific 3D Data) is an ERC Consolidator research project started in October 2020 and coordinated by Julien Tierny. It aims at addressing the explosion in size and complexity of large-scale data by developing the next generation data reduction tools based on topological data analysis.

Project Leader : Julien Tierny

01/10/2020

https://erc-tori.github.io