Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team CORSE Compiler Optimization and Run-time SystEms CORSE is a joint research group in the LIG laboratory that regroups several expertise that stand at...
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 DEFROST DEFormable Robotics SofTware Our Vision Future robots don’t need to be «rigid» but made of complex deformable structures...
Project-team DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a...
Project-team ECUADOR Program transformations for scientific computing The ECUADOR team studies Algorithmic Differentiation (AD) of computer programs, which aims at...
Project-team GAMBLE Geometric Algorithms & Models Beyond the Linear & Euclidean realm Classical computational geometry usually deals with linear objects in a Euclidean setting and when...
Project-team GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics GenScale is a research team in bioinformatics. Its main objective is to develop efficient methods...
Project-team LACODAM Large scale Collaborative Data Mining The objective of the LACODAM team is to considerably facilitate the process of making sense from...
Project-team M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...
Project-team MAASAI Models and Algorithms for Artificial Intelligence Maasai is a research project-team at Inria Sophia-Antipolis, working on the models and algorithms of...
Project-team MAGELLAN Reliable and Responsible Decentralized Computing Infrastructures The Magellan Inria/ IRISA project-team aims to enable the creation of efficient, robust, environment...
Project-team MANAO Melting the frontiers between Light, Shape and Matter The manao project aims at studying how light, matter and shape act together in synergies, at the...
Project-team MATHRISK Mathematical Risk handling MATHRISK is a joint team between INRIA Paris, Ecole des Ponts ParisTech (CERMICS laboratory) and...