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 PLEIADE Patterns of diversity and networks of function The study of biology associates pattern recognition of diversity with modeling of functional and...
Project-team POEMS Wave propagation: mathematical analysis and simulation The general activity of the team is oriented toward the design, the analysis and the numerical...
Project-team POTIOC Novel Multimodal Interactions for a Stimulating User Experience Potioc designs, develops and evaluates new approaches that exploit multimodal interaction to promote...
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 QUANTIC QUANTum Information Circuits The activities of the QUANTIC team are defined at the theoretical and experimental border of the...
Project-team RAINBOW Sensor-based Robotics and Human Interaction The long-term vision of the Rainbow team is to develop the next generation of sensor-based robots...
Project-team ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement Resource Optimization: Models, Algorithms, and scheduling The ROMA team aims at designing models...
Project-team SEMAGRAMME Semantic Analysis of Natural Language The overall objective of the Sémagramme project is to design and develop new unifying logic-based...
Project-team SIMSMART SIMulating Stochastic Models with pARTicles Simsmart is a computational probability and statistics research team, dedicated to the study of...
Project-team STORM STatic Optimizations, Runtime Methods The successes of computer science in numerical scientific simulation, indata analysis and now in...
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 VALDA Value from Data Valda’s focus is on both foundational and systems aspects of complex data management, especially...