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 STORM STatic Optimizations, Runtime Methods The successes of computer science in numerical scientific simulation, indata analysis and now in...
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 TRIPOP Modeling, Simulation and Control of Nonsmooth Dynamical Systems The TRIPOP team (2018- ) is a joint research team of Inria Grenoble Rhone-Alpes and of the...
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 ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...
Project-team AIO Dependable Networking, Low-Power Wireless and Micro-Robotics Inria-AIO is a leading research team in low-power wireless communications. The team is designing...
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 AVALON Algorithms and Software Architectures for Distributed and HPC Platforms The Avalon research team is a joint group between INRIA, CNRS, ENS Lyon, the University Claude...
Project-team AVIZ Analysis and VIsualiZation Like many other fields, the sciences are being transformed by our rapidly-increasing abilities to...
Project-team BEAGLE Artificial Evolution and Computational Biology The expanded name for the Beagle research group is "Artificial Evolution and Computational Biology"...
Project-team CALISTO Stochastic Approaches for Complex Flows and Environment Turbulence modeling and particle dynamics are at play in numerous situations in which inertial...
Project-team CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...