Project-team MORPHEME Morphologie et Images The scientific objectives of MORPHEME are to characterize and model the development and the...
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 PETRUS PErsonal & TRUSted cloud We are witnessing an exponential accumulation of personal data on central servers: data...
Project-team PLATON Uncertainty Quantification in Scientific Computing and Engineering PLATON is an Inria project-team joint with École Polytechnique, within CMAP (Centre de Mathématiques...
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 QUACS Quantum Computation Structures Encoding information within quantum systems and manipulating them promises to lead to great...
Project-team QURIOSITY Quantum Information Processing and Communication QURIOSITY’s ambition is to extend the application horizon of quantum information science by...
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 ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement Resource Optimization: Models, Algorithms, and scheduling The ROMA team aims at designing models...
Project-team SIMSMART SIMulating Stochastic Models with pARTicles Simsmart is a computational probability and statistics research team, dedicated to the study of...
Project-team SISTM Statistics In System biology and Translational Medicine Objectives The challenge is to analyze these BIG DATA to answer clinical and biological questions by...
Project-team SPADES Sound Programming of Adaptive Dependable Embedded Systems The SPADES project-team aims at mastering the complexity and dependability of networked embedded...