Project-team DATASHAPE Understanding the shape of data DataShape is a research project in Topological Data Analysis ( TDA ), a recent field whose aim is to...
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 ECUADOR Program transformations for scientific computing The ECUADOR team studies Algorithmic Differentiation (AD) of computer programs, which aims at...
Project-team MATHNEURO Mathematics for Neuroscience The research of the MathNeuro team focuses on the applications of multi-scale dynamics to...
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 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 PREMEDICAL Precision Medicine by Data Integration and Causal Learning The PreMeDICaL team ( Pre cision Me dicine by D ata I ntegration and Ca usal L earning) is a joint...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domain concerned with the development of...
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 WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics The web is no longer the simple documentary system built on a simple protocol (HTTP), a simple...
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 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 AROMATH AlgebRa, geOmetry, Modeling and AlgoriTHms Geometry is involved in many domains (manufacturing, simulation, communication, virtual world ...)...
Project-team KAIROS Multiform Logical Time for Formal Cyber-Physical System Design Kairos is working on how methods and tools to manage concurrency and time at different levels 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...