Project-team CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments CAGIRE has been bringing together researchers from different backgrounds (turbulence modeling...
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 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 CAMIN Control of Artificial Movement & Intuitive Neuroprosthesis Camin team has grown out of the former Demar team. Our research is dedicated to the design and...
Project-team CAMUS Compilation for multi-processor and multi-core architectures The CAMUS team is focusing on developing, adapting and extending automatic parallelizing and...
Project-team CANARI Cryptography ANalysis and ARIthmetic The goal of the Canari team is to develop effective algorithms to treat the objects of the Langlands...
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 CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...
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 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 CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque The team Carmen develops mathematical models and numerical methods in order to simulate the...
Project-team CASCADE Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities Cryptography, or the "Science of Secret", aims at protecting digital data during communications, or...
Project-team CASH Compilation and Analyses for Software and Hardware The advent of parallelism in supercomputers and in more classical end-user computers increases the...
Project-team CASTING Cancer dynAmicS, adapTation and modelING Cancer is one of the main cause of death in developed countries. Despite significant progress over...
Project-team CASTOR Control, Analysis and Simulations for TOkamak Research Castor gathers the activities in numerical simulation of fusion plasmas with the activitiesin...
