Les équipes de recherche

Equipes Résumé Départements
ADOPNET ADOPNET : Advanced Technologies for Operated Networks. D2 - Réseaux, télécommunication et services
ARCHWARE Le principal domaine de recherche de l'équipe ArchWare concerne l'architecture logicielle. Elle fournit l'abstraction nécessaire pour concevoir, développer et faire évoluer rigoureusement des systèmes à forte composante logicielle. D4 - Langage et génie logiciel
CAPSULE CAPSULE concentre ses activités scientifiques autour de quatre axes : la cryptographie symétrique, la cryptographie post-quantique, la sécurité du matériel et des implémentations cryptographiques, et les cryptosystèmes en usage pratique. D1 - Systèmes sécurisés et large échelle
DEVINE DEVINE : Dependable distributed systems: Verification made efficient L'objectif global de l'équipe du projet Devine est de contribuer à la conception de systèmes distribués fiables qui intègrent des aspects quantitatifs tels que le temps, le coût ou... D4 - Langage et génie logiciel
DIVERSE Le sujet d'étude de l’équipe DiverSE est le logiciel : comment le concevoir, comment le maintenir, comment le valider ? D4 - Langage et génie logiciel
DRUID DRUID : Declarative & Reliable management of Uncertain, user-generated Interlinked Data D7 - Gestion des données et de la connaissance
DYLISS DYLISS est une équipe de bioinformatique qui se consacre à l'identification et à la caractérisation des groupes d'acteurs génétiques qui contrôlent la réponse phénotypique d'individus ou d'espèces à leur environnement. D7 - Gestion des données et de la connaissance
EASE L'objectif de l'équipe est de faciliter le travail de développement, le déploiement et la maintenance des applications ambiantes devant fonctionner dans des environnements complexes comme la ville intelligente ou l'agriculture. D2 - Réseaux, télécommunication et services
EMPENN L'objectif est de favoriser la recherche en imagerie médicale, en neuroinformatique et en cohortes d’imagerie (imagerie de population). D6 - Signal, Image, Langage
EPICURE EPICURE Les annonces fréquentes d'une énième brèche dans la cybersécurité montrent que la sécurité des logiciels qui nous entourent est, plus que jamais, un défi scientifique de la plus haute importance sociétale. Ces logiciels sont produits pour... D4 - Langage et génie logiciel
ERMINE ERMINE : mEasuRing and ManagIng Network operation and Economic Les réseaux sont omniprésents et d'une complexité croissante, ils requièrent une gestion efficace de leur fonctionnement. L'équipe ERMINE a pour but de développer et d'analyser des... D2 - Réseaux, télécommunication et services
EXPRESSION EXPRESSION : Expressiveness in Human Centered Data/Media EXPRESSION cible l’étude du langage humain véhiculé par différents canaux : le geste, la parole et le texte. Ces canaux langagiers  présentent une complexité intrinsèque caractérisée par l... D6 - Signal, Image, Langage
GENSCALE GENSCALE : Scalable, Optimized and Parallel Algorithms for Genomics L'équipe GenScale travaille en étroite collaboration avec des collègues biologistes pour proposer des algorithmes et leurs mises en œuvre afin de traiter les grandes données... D7 - Gestion des données et de la connaissance
GRANIT GRANIT, Green Radio and Adaptive Nodes for IoT Dans l’optique d’une société sobre et décarbonée, concevoir des capteurs capables d’être à la fois autonomes et mobiles en utilisant une énergie négligeable est un verrou qui devra être levé. L’objectif... D3 - Architecture
HYBRID HYBRID : 3D interaction with virtual environments using body and mind D5 - Réalité virtuelle, Humains virtuels, interactions et robotique
HYCOMES HYCOMES, Modélisation hybride et conception par contrats pour les systèmes embarqués multi-physiques Notre vision est que les outils de modélisation des systèmes hybrides méritent en théorie des efforts similaires à ceux des langages synchrones... D4 - Langage et génie logiciel
INZU INZU : Opportunistic computing and networking for secure and reliable applications L'activité de recherche de l'équipe INZU se concentre sur les réseaux opportunistes. Ces réseaux sont constitués de nœuds mobiles, communiquant directement entre... D2 - Réseaux, télécommunication et services
KERDATA KERDATA : Scalable Storage for Clouds and Beyond KerData est une équipe-projet commune d'Inria, ENS Rennes et INSA Rennes et fait partie du laboratoire IRISA. L'équipe KerData explore des architectures logicielles innovantes pour le stockage et le... D1 - Systèmes sécurisés et large échelle
LACODAM LACODAM, Large Scale Collaborative Data Mining L'objectif de recherche est de faciliter considérablement le processus visant à expliciter du sens à partir de grandes quantités de données, soit en dérivant de nouvelles connaissances, soit pour... D7 - Gestion des données et de la connaissance
LINKMEDIA LinkMedia, création et exploitation de liens explicites dans les collections multimédias Linkmedia s'intéresse au traitement de très grandes collections de documents multimédia. Ces collections sont créées par des hommes et destinées aux hommes. Ce... D6 - Signal, Image, Langage
LOGICA LogicA : LOgic, Games, Information, Coordination, and Applications Aujourd'hui, nombre de nos activités quotidiennes qui étaient autrefois réalisées dans le monde "réel" et en interaction avec d'autres humains, sont réalisées dans un monde numérique... D4 - Langage et génie logiciel
MAGELLAN Magellan : Infrastructures Informatiques Fiables, Responsables et Décentralisées  L'équipe de recherche Magellan a pour objectif de permettre la création d'infrastructures informatiques décentralisées efficaces, robustes, respectueuses de l... D1 - Systèmes sécurisés et large échelle
MIMETIC MIMETIC : Analyse-Synthèse d'une approche de simulation humaine virtuelle MimeTIC est une équipe pluridisciplinaire qui s’intéresse à mieux comprendre, modéliser et simuler le mouvement humain. Pour répondre à cette problématique, les travaux de... D5 - Réalité virtuelle, Humains virtuels, interactions et robotique
OBELIX OBELIX : Environment observation with complex imagery D6 - Signal, Image, Langage
OCIF OCIF : Objets communicants pour l'Internet du futur Le but de ce projet est de définir, d’évaluer et de valider les architectures protocolaires liées à l’Internet des Objets, pour intégrer et faire évoluer des modèles de réseaux existants. Le réseau... D2 - Réseaux, télécommunication et services