Equipe-projet CONVECS Construction de systèmes concurrents vérifiés CONVECS est une équipe de recherche travaillant sur la modélisation et la vérification formelle de...
Equipe-projet CTRL-A Commande pour systèmes informatiques autonomiques Les recherches de CTRL-A sont motivées par le contexte actuel où les systèmes de calcul, grands...
Equipe-projet ELAN modELisation de l'Apparence des phénomènes Non-linéaires ELAN est une équipe de modélisation et de simulation physique, au positionnement original à la...
Equipe-projet MICROCOSME Analyse, ingénierie et contrôle des micro-organismes L'équipe-projet MICROCOSME combine des approches computationnelles et expérimentales pour analyser...
Equipe-projet POLARIS Évaluation et optimisation des performances des grandes infrastructures L'objectif du projet POLARIS est de contribuer à la compréhension au sens large (de l'observation...
Equipe-projet AIRSEA Mathématiques et calcul scientifique appliqués aux écoulements océaniques et atmosphériques Les événements récents soulèvent des questions sur les impacts sociaux et économiques des...
Equipe-projet CORSE Compiler Optimization and Run-time SystEms CORSE est un groupe de recherche qui regroupe plusieurs expertises situées à l'interface entre le...
Equipe-projet PRIVATICS Modèles, architectures et outils pour la protection de la vie privée dans la société de l'information L'équipe-projet Inria PRIVATICS s'intéresse depuis sa création en 2014 au respect de la vie privée...
Equipe-projet ANIMA Création et mise en scène des univers narratifs animés L'équipe ANIMA développe des méthodes et outils logiciels pour la création et la mise en scène de...
Equipe-projet QINFO Traitement optimal de l'information avec des dispositifs quantiques Les dispositifs de traitement de l'information qui peuvent tirer parti des lois de la théorie...
Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
Equipe-projet STATIFY Modèles statistiques bayésiens et des valeurs extrêmes pour données structurées et de grande dimension L’équipe STATIFY s’intéresse à la modélisation statistique de systèmes mettant en jeu des données...
Equipe-projet STEEP Soutenabilité, Territoires, Environnement, Economie et Politique STEEP est une équipe dédiée à la modélisation systémique et la simulation des relations entre les...