Project-team DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a...
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 AVALON Algorithms and Software Architectures for Distributed and HPC Platforms The Avalon research team is a joint group between INRIA, CNRS, ENS Lyon, the University Claude...
Project-team BOREAL Knowledge Representation and Rule-Based Languages for Reasoning on Data Current information systems are grounded on the exploitation of data coming from an increasing...
Project-team CAMBIUM Programming languages: type systems, concurrency, proofs of programs The research conducted in the Cambium group aims at improving the safety, reliability and security...
Project-team MEMPHIS Modeling Enablers for Multi-PHysics and InteractionS We aim at a step change in numerical modeling in order to answer actual industrial needs. Our goal...
Project-team MERGE Mathematics for Evolution, Reproduction, Growth and Emergence MERGE gathers researchers all working in mathematics - more precisely stochastic processes, Partial...
Project-team MIMOVE Middleware on the Move Given the prevalence of global networking and computing infrastructures, mobile networking...
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 MATHNEURO Mathematics for Neuroscience The research of the MathNeuro team focuses on the applications of multi-scale dynamics to...
Project-team MATHRISK Mathematical Risk handling MATHRISK is a joint team between INRIA Paris, Ecole des Ponts ParisTech (CERMICS laboratory) and...
Project-team CASH Compilation and Analyses for Software and Hardware The advent of parallelism in supercomputers and in more classical end-user computers increases the...
Project-team EMPENN Neuroimaging: methods and applications Empenn ( means "Brain" in Breton language) ERL U1228 research team is jointly affiliated with Inria...
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 ERMINE Measuring and Managing Network operation and economics Networks are omnipresent and increasingly complex, and require an efficient management of their...