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 MARCQ Méthodes hybrides couplant Apprentissage par Renforcement et méthodes de Contrôle optimal des edp pour l’ordinateur Quantique
Exploratory action PATH PAtient PaThway in the Hospital environment European healthcare systems are faced with multiple challenges, including an aging population, an...
Exploratory action SmolPhone SmolPhone: a smartphone with energy limits The SmolPhone project is an action research on the topic of low-tech in the domain of IT systems...
Exploratory action XGAN Interpretable Representation Learning for Video GANs Despite remarkable progress in generative adversarial networks (GANs), such networks operate...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team ACENTAURI Artificial intelligence and efficient algorithms for autonomus robotics The goal of ACENTAURI is to study and develop intelligent, autonomous and mobile robots that...
Project-team AGORA Wireless Networks for Digital Cities Smart city is a constantly reshaped concept, embracing the future of dense metropolitan areas, with...
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 ALPINES Algorithms and parallel tools for integrated numerical simulations ALPINES is a joint research group between INRIA and J.L. Lions Laboratory, Sorbonne University...
Project-team ARAMIS Algorithms, models and methods for images and signals of the human brain Our team is integrated within the Paris Brain Institute (ICM). It is a joint team with CNRS, Inserm...
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 BIVWAC Building Immersive Visualizations for Welfare, Awareness, and Comprehension Bivwac is an Inria- CNRS joint research team in association with the LaBRI computer science lab at...
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...