Project-team COATI Combinatorics, Optimization and Algorithms for Telecommunications COATI's main objective is to develop algorithmic methods and tools, with particular emphasis on the...
Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team CRONOS Computational modelling of brain dynamical networks The estimation, quantification and comparison of brain dynamics is one of the central challenges of...
Project-team DANCE Dynamics and Control of Networks Our mission is to advance the field of Automatic Control to meet the challenges of today’s hyper...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
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 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 KAIROS Multiform Logical Time for Formal Cyber-Physical System Design Kairos is working on how methods and tools to manage concurrency and time at different levels of...
Project-team LINKS Linking Dynamic Data The appearance of linked data on the web calls for novel database management technologies for linked...
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 MARACAS Models and Algorithms for Reliable Communication Systems MARACAS combines communication theory and information theory with statistical signal processing...
Project-team MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Project-team MCTAO Mathematics for Control, Transport and Applications Our goal is to develop methods in geometric control theory for nonlinear systems, mostly finite...