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...
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 CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...
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 ROBOTLEARN Learning, perception and control for social robots The scientific ambition of ROBOTLEARN is to train robots to acquire the capacity to look , listen...
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 ELAN modELing the Appearance of Nonlinear phenomena ELAN has the ambition to become a unique simulation team at Inria with an original positioning...
Project-team ANIMA Authoring and directing animated story worlds ANIMA focuses on developing computer tools for authoring and directing animated movies, interactive...
Project-team DANCE Dynamics and Control of Networks Our mission is to advance the field of Automatic Control to meet the challenges of today’s hyper...
Project-team CHROMA Cooperative and Human-aware Robot Navigation in Dynamic Environments The Chroma team aims at designing general methods for mobile robots' perception and decision making...
Project-team MOEX Evolving Knowledge Human beings are apparently able to communicate knowledge. However, it is impossible for us to know...
Project-team STATIFY Bayesian and extreme value statistical models for structured and high dimensional data The STATIFY team specializes in the statistical modeling of systems involving data with a complex...
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 CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team PRIVATICS Privacy Models, Architectures and Tools for the Information Society Since its creation in 2014, the PRIVATICS project-team focusses on privacy protection in the digital...