Project-team MAGNET Machine Learning in Information Networks A primary objective of Magnet is in making artificial intelligence more acceptable to society by...
Project-team MATHNEURO Mathematics for Neuroscience The research of the MathNeuro team focuses on the applications of multi-scale dynamics to...
Project-team MEMPHIS Modeling Enablers for Multi-PHysics and InteractionS We aim at a step change in numerical modeling in order to answer actual industrial needs. Our goal...
Project-team MFX Matter from Graphics Our team focuses on challenges related to shape complexity in the context of Computer Graphics and...
Project-team MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation The MimeTIC research team focuses on designing methods for anlayzing human motion in ecological...
Project-team MOSAIC MOrphogenesis Simulation and Analysis In siliCo Our general aim in MOSAIC is to identify key principles of organism development in close...
Project-team PARADYSE PARticles And DYnamical SystEms The Paradyse project-team is a joint project between Inria, CNRS and the Laboratoire Paul Painlevé...
Project-team PASTA Space-time random processes and applications PASTA Spatio-Temporal stochastic processes and their applications PASTA is a joint research team...
Project-team PESTO Proof techniques for security protocols The aim of the Pesto project is to build formal models and techniques, for computer-aided analysis...
Project-team PRIVATICS Privacy Models, Architectures and Tools for the Information Society Since its creation in 2014, the PRIVATICS project-team focusses on privacy protection in the digital...
Project-team RESIST Resilience and elasticity for security and scalability of dynamic networked systems The RESIST project designs, implements and validates novel models, algorithms and tools for highly...
Project-team SPADES Sound Programming of Adaptive Dependable Embedded Systems The SPADES project-team aims at mastering the complexity and dependability of networked embedded...
Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...