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 CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, 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 ERMINE Measuring and Managing Network operation and economics Networks are omnipresent and increasingly complex, and require an efficient management of their...
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 LOKI Technology & Knowledge for Interaction Human-Computer Interaction (HCI) is a constantly moving field. On the one hand , c hanges in...
Project-team M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...
Project-team MAGNET Machine Learning in Information Networks A primary objective of Magnet is in making artificial intelligence more acceptable to society by...
Project-team MATHERIALS MATHematics for MatERIALS The purpose of the scientific activity of the MATHERIALS research team is to design efficient...
Project-team MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Project-team MATHNEURO Mathematics for Neuroscience The research of the MathNeuro team focuses on the applications of multi-scale dynamics to...
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...