Project-team AROMATH AlgebRa, geOmetry, Modeling and AlgoriTHms Geometry is involved in many domains (manufacturing, simulation, communication, virtual world ...)...
Project-team AUCTUS Robots for Humans at work The objective of the Auctus team is to imagine the collaborative robots of the future. The ability...
Project-team BIOVISION Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON Vision is a key function to sense the world and perform complex tasks, with a high sensitivity and a...
Project-team CANARI Cryptography ANalysis and ARIthmetic The goal of the Canari team is to develop effective algorithms to treat the objects of the Langlands...
Project-team CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts From PDEs to certified computational models : this is the motto of CARDAMOM . We aim at providing a...
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 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 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 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 IDEFIX Inversion of Differential Equations For Imaging and physiX The research activity of our team is dedicated to the design, analysis and implementation of...
Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...