Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team DEFROST DEFormable Robotics SofTware Our Vision Future robots don’t need to be «rigid» but made of complex deformable structures...
Project-team DIANA Design, Implementation and Analysis of Networking Architectures The DIANA team conducts research in the domain of networking, with an emphasis on designing...
Project-team DISCO Dynamical Interconnected Systems: Control and Optimization The goal of the project is to better understand and well formalize the effects of complex...
Project-team DIVERSE Diversity-centric Software Engineering Our main objective is to automatically compose and synthesize software diversity from design to...
Project-team DYOGENE Dynamics of Geometric Networks The scientific focus of DYOGENE is on geometric network dynamics arising in communications...
Project-team EMPENN Neuroimaging: methods and applications Empenn ( means "Brain" in Breton language) ERL U1228 research team is jointly affiliated with Inria...
Project-team EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...
Project-team GAMBLE Geometric Algorithms & Models Beyond the Linear & Euclidean realm Classical computational geometry usually deals with linear objects in a Euclidean setting and when...
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...
Project-team MATHNEURO Mathematics for Neuroscience The research of the MathNeuro team focuses on the applications of multi-scale dynamics to...
Project-team MICROCOSME Analysis, engineering, and control of microorganisms MICROCOSME combines computational and experimental approaches for the analysis, engineering, and...
Project-team MORPHEO Capture and Analysis of Shapes in Motion Morpheo's main objective is the ability to perceive and to interpret moving shapes using multiple...