Project-team ATLANTIS modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale ATLANTIS is a joint project-team between Inria, CNRS and Université Côte d'Azur thanks to its...
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 CAMUS Compilation for multi-processor and multi-core architectures The CAMUS team is focusing on developping, adapting and extending automatic parallelizing and...
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 CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...
Project-team COATI Combinatorics, Optimization and Algorithms for Telecommunications COATI's main objective is to develop algorithmic methods and tools, with particular emphasis on the...
Project-team COMETE Privacy, Fairness and Robustness in Information Management In COMETE we study emerging concepts of the modern era of computing. Security and privacy are some...
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 CORSE Compiler Optimization and Run-time SystEms CORSE is a joint research group in the LIG laboratory that regroups several expertise that stand at...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, 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 GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
Project-team GAMBLE Geometric Algorithms & Models Beyond the Linear & Euclidean realm Classical computational geometry usually deals with linear objects in a Euclidean setting and when...
Project-team HEPHAISTOS HExapode, PHysiology, AssISTance and RobOtics The HÉPHAÏSTOS project-team was created on January 1st 2014. This project is composed of INRIA...
Project-team IDEFIX Inversion of Differential Equations For Imaging and physiX The research activity of our team is dedicated to the design, analysis and implementation of...