Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
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 WILLOW Embodied computer vision Our research is concerned with representational issues in visual object recognition and scene...
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 ATLANTIS modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale ATLANTIS is a joint project-team between Inria, CNRS and Université Côte d'Azur thanks to its...
Project-team AVALON Algorithms and Software Architectures for Distributed and HPC Platforms The Avalon research team is a joint group between INRIA, CNRS, ENS Lyon, the University Claude...
Project-team AVIZ Analysis and VIsualiZation Like many other fields, the sciences are being transformed by our rapidly-increasing abilities to...
Project-team CAGE Control and Geometry CAGE's activities take place in the field of mathematical control theory, with applications in three...
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 CAPSID Computational Algorithms for Protein Structures and Interactions The Capsid team develops algorithms and software to help study biological systems and phenomena from...
Project-team CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque The team Carmen develops mathematical models and numerical methods in order to simulate the...
Project-team CASH Compilation and Analyses for Software and Hardware The advent of parallelism in supercomputers and in more classical end-user computers increases the...
Project-team CELESTE mathematical statistics and learning Data science—a vast field that includes statistics, machine learning, signal processing, data...