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 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 NERV Systems neuroengineering to model and interface brain networks The NERV Lab is a multidisciplinary research team supported by the French institutions Inria, Inserm...
Project-team OURAGAN Tools for resolutions in algebra, geometry and their applications OURAGAN focus on the transfer of computational algebraic methods to some related fields...
Project-team WHISPER Well Honed Infrastructure Software for Programming Environments and Runtimes The focus of Whisper is on how to develop (new) and improve (existing) infrastructure software...
Project-team COSMIQ Code-based Cryptology, Symmetric Cryptology and Quantum Information The research work within the project-team is mostly devoted to the design and analysis of...
Project-team HEKA Health data- and model- driven approaches for Knowledge Acquisition HeKA is a common project-team of Inria, Inserm and Université Paris Cité. HeKA is jointly affiliated...
Project-team MATHERIALS MATHematics for MatERIALS The purpose of the scientific activity of the MATHERIALS research team is to design efficient...
Project-team MIMOVE Middleware on the Move Given the prevalence of global networking and computing infrastructures, mobile networking...
Project-team MUSCLEES Mathematical Understanding across Scales of Complex Living Ecosystems with Emerging Structures
Project-team WILLOW Embodied computer vision Our research is concerned with representational issues in visual object recognition and scene...
Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
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...