Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...
Project-team CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...
Project-team TRIBE inTeRnet BEyond the usual The TRiBE (inTeRnet BEyond the usual) is a research team of Inria Saclay – Ile de France, located at...
Project-team IDEFIX Inversion of Differential Equations For Imaging and physiX The research activity of our team is dedicated to the design, analysis and implementation of...
Project-team MIND Models and Inference for Neuroimaging Data MIND is a joint Inria and CEA (NeuroSpin center) project-team whose overall scientific objective is...
Project-team MERGE Mathematics for Evolution, Reproduction, Growth and Emergence MERGE gathers researchers all working in mathematics - more precisely stochastic processes, Partial...
Project-team GRACE Geometry, arithmetic, algorithms, codes and encryption Algorithmic number theory, and the computational issues related to algebraic curves over various...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France research center, joint with the...
Project-team DATASHAPE Understanding the shape of data DataShape is a research project in Topological Data Analysis ( TDA ), a recent field whose aim is to...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applications arising in decision theory...
Project-team POEMS Wave propagation: mathematical analysis and simulation The general activity of the team is oriented toward the design, the analysis and the numerical...
Project-team QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...