Project-team CONCACE Numerical and Parallel Composability for High Peformance Computing The concace team is a joint Inria-Industry team that involve members from two private partners...
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 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 GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
Project-team ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
Project-team INBIO Experimental and Computational Methods for Modeling Cellular Processes InBio is an interdisciplinary research group, combining wet and dry biology in the same lab. We...
Project-team MAKUTU Experimental-based modeling and simulation of wave propagation to characterize geophysical and heliophysical media and to design complex objects Numerical geosciences encompass a large variety of scientific activities tackling societal...
Project-team MANAO Melting the frontiers between Light, Shape and Matter The manao project aims at studying how light, matter and shape act together in synergies, at the...
Project-team MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Project-team MFX Matter from Graphics Our team focuses on challenges related to shape complexity in the context of Computer Graphics and...
Project-team MNEMOSYNE Mnemonic Synergy At the frontier between integrative and computational neuroscience, we propose to model the brain as...
Project-team MOCQUA Designing the Future of Computational Models The goal of the Mocqua team is to tackle challenges coming from the emergence of new or future...
Project-team MUSCA MUltiSCAle population dynamics for physiological systems MUSCA (MUltiSCAle populations dynamics for physiological systems) is a joint project-team between...
Project-team ODYSSEY Ocean DYnamicS obSErvation analYsis The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
Project-team PACAP Pushing Architecture and Compilation for Application Performance In brief, the long-term goal of the PACAP project-team is about performance of computing systems...