Project-team OPIS OPtImization for large Scale biomedical data The objective of the OPIS project is to design advanced optimization methods for the analysis and...
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 QINFO Optimal Information Processing with Quantum Devices Information-processing devices that can take advantages of the laws of quantum theory have an...
Project-team RAINBOW Sensor-based Robotics and Human Interaction The long-term vision of the Rainbow team is to develop the next generation of sensor-based robots...
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 SODA Computational and mathematical methods to understand health and society with data The soda team does research at the intersection between machine-learning, databases, and...
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 STEEP Sustainability transition, environment, economy and local policy STEEP is an interdisciplinary research team devoted to systemic modelling and simulation of the...
Project-team SYCOMORES Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems The objective of the SYCOMORES project-team is to develop a framework for the design and the...
Project-team TADAAM Topology-aware system-scale data management for high-performance computing The goal of the TADaaM project is to design and build a stateful system-wide service layer for HPC...
Project-team TARAN Domain-Specific Computers in the Post Moore’s Law Era Energy efficiency has now become one of the main requirements for virtually all computing platforms...
Project-team THOTH Learning visual models from large-scale data Thoth is a joint team of Inria and Laboratoire Jean Kuntzmann, and started in January 2016. It is a...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...