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 QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
Project-team RAPSODI Reliable numerical approximations of dissipative systems RAPSODI is a common research team with Université de Lille and CNRS. Its activity is devoted on...
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 STORM STatic Optimizations, Runtime Methods The successes of computer science in numerical scientific simulation, indata analysis and now in...
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 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 WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics The web is no longer the simple documentary system built on a simple protocol (HTTP), a simple...
Project-team AIRSEA Mathematics and computing applied to oceanic and atmospheric flows Recent events have raised questions on social and economic implications of anthropic alterations of...
Project-team ARIC Arithmetic and Computing AriC studies various aspects of approximation and algebra from a computer science point of view...
Project-team CAMIN Control of Artificial Movement & Intuitive Neuroprosthesis Camin team has grown out of the former Demar team. Our research is dedicated to the design and...