Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team ACENTAURI Artificial intelligence and efficient algorithms for autonomus robotics The goal of ACENTAURI is to study and develop intelligent, autonomous and mobile robots that...
Project-team CASTOR Control, Analysis and Simulations for TOkamak Research Castor gathers the activities in numerical simulation of fusion plasmas with the activitiesin...
Project-team DIANA Design, Implementation and Analysis of Networking Architectures The DIANA team conducts research in the domain of networking, with an emphasis on designing...
Project-team PREMEDICAL Precision Medicine by Data Integration and Causal Learning The PreMeDICaL team ( Precision Medicine by Data Integration and Causal Learning) is a joint team...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...
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 CRONOS Computational modelling of brain dynamical networks The estimation, quantification and comparison of brain dynamics is one of the central challenges of...
Project-team EPIONE E-Patient: Images, Data & MOdels for e-MediciNE Description Our long-term goal is to contribute to the development of what we call the e-patient...
Project-team MATHNEURO Mathematics for Neuroscience The research of the MathNeuro team focuses on the applications of multi-scale dynamics to...
Project-team MORPHEME Morphologie et Images The scientific objectives of MORPHEME are to characterize and model the development and the...
Project-team NEO Network Engineering and Operations The team is positioned at the intersection of Operations Research and Network Science. By using the...