Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...
Project-team DEFROST DEFormable Robotics SofTware Our Vision Future robots don’t need to be «rigid» but made of complex deformable structures...
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 EMPENN Neuroimaging: methods and applications Empenn ( means "Brain" in Breton language) ERL U1228 research team is jointly affiliated with Inria...
Project-team GENSCALE Scalable, Optimized and Parallel Algorithms for Genomics GenScale is a research team in bioinformatics. Its main objective is to develop efficient methods...
Project-team GRACE Geometry, arithmetic, algorithms, codes and encryption Algorithmic number theory, and the computational issues related to algebraic curves over various...
Project-team HEKA Health data- and model- driven approaches for Knowledge Acquisition HeKA is a common project-team of Inria, Inserm and Université Paris Cité. HeKA is jointly affiliated...
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 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 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 MAASAI Models and Algorithms for Artificial Intelligence Maasai is a research project-team at Inria Sophia-Antipolis, working on the models and algorithms of...