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 COSMIQ Code-based Cryptology, Symmetric Cryptology and Quantum Information The research work within the project-team is mostly devoted to the design and analysis of...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team MIMESIS Computational Anatomy and Simulation for Medicine The main focus of the MIMESIS team is to develop new solutions at the crossroad between imaging...
Project-team MNEMOSYNE Mnemonic Synergy At the frontier between integrative and computational neuroscience, we propose to model the brain as...
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 OURAGAN Tools for resolutions in algebra, geometry and their applications OURAGAN focus on the transfer of computational algebraic methods to some related fields...
Project-team PETRUS PErsonal & TRUSted cloud We are witnessing an exponential accumulation of personal data on central servers: data...
Project-team ROBOTLEARN Learning, perception and control for social robots The scientific ambition of ROBOTLEARN is to train robots to acquire the capacity to look, listen...
Project-team SCOOL Sequential decision making under uncertainty problem The scientific project of Scool is focussed on sequential decision making under uncertainty. In...
Project-team SEMAGRAMME Semantic Analysis of Natural Language The overall objective of the Sémagramme project is to design and develop new unifying logic-based...
Project-team SIMSMART SIMulating Stochastic Models with pARTicles Simsmart is a computational probability and statistics research team, dedicated to the study of...
Project-team VALDA Value from Data Valda’s focus is on both foundational and systems aspects of complex data management, especially...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...