Challenge LiberAbaci The Coq proof assistant and mathematics education Computer proof tools have gained recognition in the production of reliable software and the...
Exploratory action META4QIP Coding the Future : Metasurface for Quantum Information Processing Metasurfaces are flat structures that possess extraordinary abilities to manipulate light in ways...
Exploratory action REPAS New Portrayal of HPC Applications What is the right way to represent an application in order to run it on a highly parallel (typically...
Exploratory action SIA Computer science in the Anthropocene The term Anthropocene reflects the geological scale of human impacts on the Earth system and...
Project-team AIRSEA Mathematics and computing applied to oceanic and atmospheric flows Recent events have raised questions on social and economic implications of anthropic alterations of...
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 CASTOR Control, Analysis and Simulations for TOkamak Research Castor gathers the activities in numerical simulation of fusion plasmas with the activitiesin...
Project-team CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...
Project-team COMMEDIA Computational mathematics for bio-medical applications The research activity of COMMEDIA focuses on the numerical simulation of bio-fluid flows in the...
Project-team CONCACE Numerical and Parallel Composability for High Peformance Computing The concace team is a joint Inria-Industry team that involve members from two private partners...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...