Exploratory action Réal Réal: algebraic rewriting Rewriting is the part of computer algebra that studies the transformations of mathematical...
Exploratory action SDMote Software-Defined Mote As computation in wireless mesh networks becomes more decentralized, existing processor-based...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team ANIMA Authoring and directing animated story worlds ANIMA focuses on developing computer tools for authoring and directing animated movies, interactive...
Project-team ARIC Arithmetic and Computing AriC studies various aspects of approximation and algebra from a computer science point of view...
Project-team ASTRAL Advanced StatisTical infeRence And controL The research activities of our team mainly focus on the development of advanced statistical and...
Project-team AUCTUS Robots for Humans at work The objective of the Auctus team is to imagine the collaborative robots of the future. The ability...
Project-team AVALON Algorithms and Software Architectures for Distributed and HPC Platforms The Avalon research team is a joint group between INRIA, CNRS, ENS Lyon, the University Claude...
Project-team BOREAL Knowledge Representation and Rule-Based Languages for Reasoning on Data Current information systems are grounded on the exploitation of data coming from an increasing...
Project-team CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...
Project-team CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque The team Carmen develops mathematical models and numerical methods in order to simulate the...
Project-team CASCADE Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities Cryptography, or the "Science of Secret", aims at protecting digital data during communications, or...
Project-team CASH Compilation and Analyses for Software and Hardware The advent of parallelism in supercomputers and in more classical end-user computers increases the...
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...