Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team QURIOSITY Quantum Information Processing and Communication QURIOSITY’s ambition is to extend the application horizon of quantum information science by...
Project-team AVIZ Analysis and VIsualiZation Like many other fields, the sciences are being transformed by our rapidly-increasing abilities to...
Project-team TAU TAckling the Underspecified Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applications arising in decision theory...
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 GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team MERGE Mathematics for Evolution, Reproduction, Growth and Emergence MERGE gathers researchers all working in mathematics - more precisely stochastic processes, Partial...
Project-team DISCO Dynamical Interconnected Systems in COmplex Environments The goal of the project is to better understand and well formalize the effects of complex...
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...