Project-team OURAGAN Tools for resolutions in algebra, geometry and their applications OURAGAN focus on the transfer of computational algebraic methods to some related fields...
Project-team PACAP Pushing Architecture and Compilation for Application Performance In brief, the long-term goal of the PACAP project-team is about performance of computing systems...
Project-team PARADYSE PARticles And DYnamical SystEms The Paradyse project-team is a joint project between Inria, CNRS and the Laboratoire Paul Painlevé...
Project-team PARKAS Synchronous Kahn parallelism The PARKAS project focuses on the design, semantics and compilation of high-level languages which...
Project-team PARMA Particle methods using Monge-Ampère The ParMA project focuses on the application of OT techniques to the numerical resolution of...
Project-team PASTA Space-time random processes and applications PASTA Spatio-Temporal stochastic processes and their applications PASTA is a joint research team...
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 PETSCRAFT Crafting Explicable and Efficient Privacy-Enhancing Technologies PETSCRAFT focuses primarily on modeling privacy protection concepts and on the design, optimization...
Project-team PIRAT Protection of Information and Resistance to ATtacks The PIRAT team (Protection of Information and Resistance to ATtacks) focuses on research in...
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...
