Project-team WIDE the World Is Distributed Exploring the tension between scale and coordination As distributed computing systems are being deployed within a growing number of everyday applications...
Project-team CAMUS Compilation for multi-processor and multi-core architectures The CAMUS team is focusing on developping, adapting and extending automatic parallelizing and...
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...
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 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 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 CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team ERABLE European Research team in Algorithms and Biology, formaL and Experimental Cells are seen as the basic structural, functional and biological units of all living systems. They...
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...
Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
Project-team GRACE Geometry, arithmetic, algorithms, codes and encryption Algorithmic number theory, and the computational issues related to algebraic curves over various...
Project-team GRAPHDECO GRAPHics and DEsign with hEterogeneous COntent Despite significant progress in Computer Graphics, HCI and Computer Vision, creating, manipulating...