Project-team SPIRALS Self-adaptation for distributed services and large software systems Spirals is conducting research activities in the domains of distributed systems and software...
Project-team STACK Software Stack for Massively Geo-Distributed Infrastructures STACK members address challenges related to the management and advanced usages of Utility Computing...
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 TITANE Geometric Modeling of 3D Environments Geometric modeling and processing revolve around three main end goals: a computerized shape...
Project-team WIDE the World Is Distributed Exploring the tension between scale and coordination As distributed computing systems are being deployed within a growing number of everyday applications...
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 ANGE Numerical Analysis, Geophysics and Environment The research activities carried out within the ANGE team strongly couple the development of...
Project-team AUCTUS Robots for Humans at work The objective of the Auctus team is to imagine the collaborative robots of the future. The ability...
Project-team BONUS Big Optimization aNd Ultra-Scale Computing Being ubiquitous to countless modern engineering and scientic applications, big optimization...
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 CAMBIUM Programming languages: type systems, concurrency, proofs of programs The research conducted in the Cambium group aims at improving the safety, reliability and security...
Project-team CAMUS Compilation for multi-processor and multi-core architectures The CAMUS team is focusing on developping, adapting and extending automatic parallelizing and...