Equipe-projet COMETE Vie privée, équité et robustesse dans la gestion de l'information L'équipe-projet COMETE étudie les concepts émergeant de l'ère moderne de l'informatique. La sécurité...
Equipe-projet DATASHAPE Comprendre la forme des données DataShape est un projet de recherche dans le domaine de l'Analyse Topologique des Données. Il s'agit...
Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet GRACE Geometry, arithmetic, algorithms, codes and encryption La théorie algorithmique des nombres et les problèmes computationnels associés aux courbes...
Equipe-projet MATHEXP Calcul formel, mathématiques expérimentales et interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Equipe-projet PETSCRAFT Concevoir des technologies d'amélioration de la vie privée explicables et efficaces
Equipe-projet QUACS Structures de calcul quantique L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands...
Equipe-projet TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata est une équipe de recherche du centre INRIA Saclay-Île-de-France, en partenariat avec le...