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 SCOOL Sequential decision making under uncertainty problem The scientific project of Scool is focussed on sequential decision making under uncertainty. In...
Project-team SIMBA Statistical Inference and Modeling for Biological Applications SIMBA (Statistical Inference and Modeling for Biological Applications) is a joint Inria, Université...
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...
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 TANGRAM Visual Registration with Physically Coherent Models Physically coherent modeling, accurate registration and development of associated robust estimation...
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 TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...
Project-team TYREX Types and Reasoning for the Web Tyrex is a research project team, affiliated with CNRS LIG, Inria, UGA, and Grenoble INP. We develop...
Project-team WIDE the World Is Distributed Exploring the tension between scale and coordination As distributed computing systems are being deployed within a growing number of everyday applications...