Project-team GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
Project-team INBIO Experimental and Computational Methods for Modeling Cellular Processes InBio is an interdisciplinary research group, combining wet and dry biology in the same lab. We...
Project-team KAIROS Multiform Logical Time for Formal Cyber-Physical System Design Kairos is working on how methods and tools to manage concurrency and time at different levels of...
Project-team KOPERNIC Keeping worst case reasoning for different criticalities A cyber-physical system (CPS) has cyber (or computational) components and physical components that...
Project-team MAKUTU Experimental-based modeling and simulation of wave propagation to characterize geophysical and heliophysical media and to design complex objects Numerical geosciences encompass a large variety of scientific activities tackling societal...
Project-team MIMESIS Computational Anatomy and Simulation for Medicine The main focus of the MIMESIS team is to develop new solutions at the crossroad between imaging...
Project-team MINGUS MultI-scale Numerical Geometric Schemes The research group MINGuS focuses on the mathematical and numerical analysis of partial differential...
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 OCKHAM Optimization, pHysical Knowledge, Algorithms and Models The OCKHAM team develops machine learning techniques and signal processing algorithms with the main...
Project-team ODYSSEY Ocean DYnamicS obSErvation analYsis The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
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 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 PETRUS PErsonal & TRUSted cloud We are witnessing an exponential accumulation of personal data on central servers: data...