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 STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
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 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 TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
Project-team WILLOW Embodied computer vision Our research is concerned with representational issues in visual object recognition and scene...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team AGORA Wireless Networks for Digital Cities Smart city is a constantly reshaped concept, embracing the future of dense metropolitan areas, with...
Project-team ASTRAL Advanced StatisTical infeRence And controL The research activities of our team mainly focus on the development of advanced statistical and...