Equipe-projet VALSE Contrôle en temps fini et estimation pour des systèmes distribués La révolution de l’information offre de nouvelles possibilités liées à l’Internet des objets et aux...
Equipe-projet ASTRAL Méthodes avancées d’apprentissage statistique et de contrôle Les activités de recherche de notre équipe se concentrent principalement sur le développement de...
Equipe-projet BOREAL Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés Les systèmes d'information actuels sont basés sur l'exploitation de données provenant d'un nombre...
Equipe-projet CHROMA Robots coopératifs et adaptés à la présence humaine en environnements L'équipe Chroma contribue à la mise en place de méthodologies générales pour la perception et la...
Equipe-projet COAST Web Scale Trustworthy Collaborative Service Systems L'arrivée du Cloud, des appareils mobiles et des architectures orientées services a ouvert un champs...
Equipe-projet COMPO Méthodes computationnelles pour la prise en charge thérapeutique en oncologie L'équipe-projet commune COMPO Inria-Inserm développe de nouveaux modèles mathématiques permettant d...
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 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 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 DATAMOVE Mouvements de données pour le calcul haute performance Aujourd'hui les plus grands supercalculateurs (classement du Top500) sont composés de centaines de...
Equipe-projet ECUADOR Transformations et outils informatiques pour le calcul scientifique L'équipe ECUADOR étudie la Différentiation Algorithmique (DA) de programmes, c'est à dire la...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution