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 LiveIt Feeling and perceiving the symptoms of schizophrenia in augmented reality to reduce stigma The symptoms of schizophrenia are difficult to visualise and this often leads to significant...
Exploratory action NO-BIF Structural optimisation of dynamic mechanical systems with bifurcation The design methods for mechanical structures (aeronautics, aerospace, transport, energy production...
Exploratory action noCNN No-brain-shift and Comprehensive Neurosurgical Navigation (noCNN) Neuronavigation refers to the set of computer-aided technologies used by neurosurgeons to guide...
Challenge PULSE PUshing Low-carbon Services towards the Edge To address climate challenges while meeting the growing need for computing resources, the PULSE...
Exploratory action QAT Quantum Computing Architectures Algorithms Applications and their Theory (QAT) Quantum information processing is about finding algorithms and protocols t hat can solve problems...
Exploratory action SDMote Software-Defined Mote As computation in wireless mesh networks becomes more decentralized, existing processor-based...
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 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 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 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 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 CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts From PDEs to certified computational models : this is the motto of CARDAMOM . We aim at providing a...