Project-team AUCTUS Robots for Humans at work The objective of the Auctus team is to imagine the collaborative robots of the future. The ability...
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 CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Our research addresses the broad application domain of cryptography and cryptanalysis from the...
Project-team CELESTE mathematical statistics and learning Data science—a vast field that includes statistics, machine learning, signal processing, data...
Project-team CHROMA Cooperative and Human-aware Robot Navigation in Dynamic Environments The Chroma team aims at designing general methods for mobile robots' perception and decision making...
Project-team COAST Web Scale Trustworthy Collaborative Service Systems The advent of the Cloud, of smart mobile devices and of service-based architecture has opened a...
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 DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team DIVERSE Diversity-centric Software Engineering Our main objective is to automatically compose and synthesize software diversity from design to...
Project-team DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a...
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...
Project-team EVERGREEN Earth obserVation and machine lEarning foR aGRo-Environmental challENges The EVERGREEN team actively works on the design and implementation of cutting-edge machine learning...
Project-team GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics GenScale is a research team in bioinformatics. Its main objective is to develop efficient methods...