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 MOKAPLAN Advances in Numerical Calculus of Variations The last two decades have witnessed a remarkable convergence between several sub-domains of the...
Project-team MONC Mathematical modeling for Oncology The MONC project-team aims at developing new mathematical models involving partial differential...
Project-team MORPHEO Capture and Analysis of Shapes in Motion Morpheo's main objective is the ability to perceive and to interpret moving shapes using multiple...
Project-team NEO Network Engineering and Operations The team is positioned at the intersection of Operations Research and Network Science. By using the...
Project-team OURAGAN Tools for resolutions in algebra, geometry and their applications OURAGAN focus on the transfer of computational algebraic methods to some related fields...
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 PIXEL Structure geometrical shapes PIXEL is a research team in digital geometry processing. More specifically, we are interested in...
Project-team PLATON Uncertainty Quantification in Scientific Computing and Engineering PLATON is an Inria project-team joint with École Polytechnique, within CMAP (Centre de Mathématiques...
Project-team SCOOL Sequential decision making under uncertainty problem The scientific project of Scool is focussed on sequential decision making under uncertainty. In...
Project-team SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms The project-team SERENA is concerned with numerical methods for environmental problems. The main...
Project-team SPIRALS Self-adaptation for distributed services and large software systems Spirals is conducting research activities in the domains of distributed systems and software...
Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...