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 ERABLE European Research team in Algorithms and Biology, formaL and Experimental Cells are seen as the basic structural, functional and biological units of all living systems. They...
Project-team ERMINE Measuring and Managing Network operation and economics Networks are omnipresent and increasingly complex, and require an efficient management of their...
Project-team EVERGREEN Earth obserVation and machine lEarning foR aGRo-Environmental challENges The EVERGREEN team actively works on the design and implementation of cutting-edge machine learning...
Project-team FAIRPLAY Coopetitive AI: Fairness, Privacy, Incentives Most of the current machine learning literature focuses on the case of a single agent (an algorithm)...
Project-team GEOMERIX Geometry-driven Numerics The Inria project-team GeomeriX is devoted to the development of predictive computational tools...
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 AISTROSIGHT Viewing neuron-astrocyte pharmacology through digital sciences Our overall goal is to develop innovative numerical methods for neuropharmacology, the search of new...
Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team MALICE MAchine Learning with Integration of surfaCe Engineering knowledge: Theory and Algorithms The goal of the MALICE project-team is to combine interdisciplinary skills in statistical learning...
Project-team CAPSID Computational Algorithms for Protein Structures and Interactions The Capsid team develops algorithms and software to help study biological systems and phenomena from...
Project-team CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Our research addresses the broad application domain of cryptography and cryptanalysis from the...
Project-team INOCS INtegrated Optimization with Complex Structure An optimization problem consists in finding a best solution from a set of feasible solutions. Such a...
Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...