Project-team ECUADOR Program transformations for scientific computing The ECUADOR team studies Algorithmic Differentiation (AD) of computer programs, which aims at...
Project-team EDGE Extended formulations and Decomposition for Generic optimization problems Our research interests lie in the field of operations research (O.R.) and integer programming. Our...
Project-team EPICURE Semantic analysis and compilation for secure execution environments The frequent announcements of yet another cybersecurity breach show that the security of the...
Project-team EVREF Reflective Evolution of Ever-running Software Systems The objectives of Evref are to study and support the continuous evolution of large software systems...
Project-team HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques The Hycomes team-project focuses on research topics related to cyberphysical systems design: Hybrid...
Project-team I4S Statistical Inference for Structural Health Monitoring The overall objective of this project-team is the development of Structural Health Monitoring (SHM)...
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 M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...
Project-team MAASAI Models and Algorithms for Artificial Intelligence Maasai is a research project-team at Inria Sophia-Antipolis, working on the models and algorithms of...
Project-team MACBES Modelling And Control of Biological and Ecological Systems Macbes is one of the two project-teams following the Biocore project-team. Macbes is a common...
Project-team MATHERIALS MATHematics for MatERIALS The purpose of the scientific activity of the MATHERIALS research team is to design efficient...
Project-team MONC Mathematical modeling for Oncology The MONC project-team aims at developing new mathematical models involving partial differential...