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...
Challenge ROAD-AI Toward smart Augmented & Integrated Roads and infrastructures Integrated management of infrastructure assets is an approach which aims at reconciling long-term...
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 ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
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 AISTROSIGHT Viewing neuron-astrocyte pharmacology through digital sciences Our overall goal is to develop innovative numerical methods for neuropharmacology, the search of new...
Project-team BIOVISION Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON Vision is a key function to sense the world and perform complex tasks, with a high sensitivity and a...
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 COMPO COMPutational pharmacology and clinical Oncology The ambition of the COMPO Inria-Inserm joint project-team is to develop novel mathematical models...
Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team DIANA Design, Implementation and Analysis of Networking Architectures The DIANA team conducts research in the domain of networking, with an emphasis on designing...
Project-team EDGE Extended formulations and Decomposition for Generic optimization problems Our research interests lie in the field of operations research (O.R.) and integer programming. Our...
Project-team EPICURE Semantic analysis and compilation for secure execution environments The frequent announcements of yet another cybersecurity breach show that the security of the...