Organisation par département avant 2022. Consultez l'organisation actuelle mise à jour ici
Systèmes large échelle (D1)
Étude des systèmes distribués au sens large, couvrant à la fois les systèmes d'exploitation distribués, les environnements d'exécution parallèle, les middleware et les framework permettant la conception et l'exécution d'applications distribuées. Il traite de divers problèmes liés aux systèmes informatiques à grande échelle comportant un grand nombre de machines et/ou d'utilisateurs et/ou de données, généralement dans les nuages, le brouillard, les réseaux IdO ou le HPC.
CIDRE, EMSEC, SPICY, KERDATA, MYRIADS, WIDE
Réseaux, télécommunication et services (D2)
Mise en œuvre et évaluation de réseaux de communication, adaptées à l'hétérogénéité croissante au niveau des terminaux, des applications et des modes d'interactions.
ADOPNET, CASA, DIONYSOS, EASE, OCIF
Architecture (D3)
Développement d'architectures et d'outils de compilation pour les systèmes multi et many core hétérogènes, pour des plateformes d'usage général ou pour des systèmes embarqués, en prenant en compte les contraintes de performances, de temps-réel, de consommation ou de ressources limitées.
CAIRN, GRANIT, PACAP
Langage et génie logiciel (D4)
Aide à la construction de programmes sûrs, sécurisés et efficaces qui s'exécutent dans des environnements dynamiques et incertains. Les méthodes utilisées couvrent un spectre assez large : aspects langages, modèles, analyse et preuve de programmes, génie logiciel, contrôle. La convergence récente entre les logiciels embarqués et les systèmes cyberphysiques induit de nouveaux défis en termes d'autogestion et de sécurité, en plus des questions traditionnelles d'efficacité et de correction fonctionnelle. Il en résulte deux grands axes de travail : l'ingénierie des systèmes/logiciels basée sur des modèles, et la vérification et l'analyse des programmes vérifiés par machine.
ARCHWARE, CELTIQUE, DIVERSE, HYCOMES, LOGICA, SUMO, TAMIS, TEA
Signaux et images numériques, robotique (D5)
Contribue à la recherche sur la formalisation, la conception et l'expérimentation de modèles et d'algorithmes pour traiter, transmettre et transformer les signaux et données numériques provenant d'une variété de phénomènes physiques, avec un accent sur les signaux acoustiques et audio, les données vidéo et visuelles, les signaux et captures de mouvement, les images médicales, les observations géoscientifiques, et l'incarnation physique et l'interaction avec l'environnement (robotique).
EMPENN, OBELIX, PANAMA, RAINBOW, SIROCCO
Modifié en janvier 2022, revenir sur la page actuelle des Départements
Media et interactions (D6)
Usage d'une ou plusieurs modalités ou médias : texte, parole, son, image, vidéo ou environnement 3D. Les recherches sont consacrées aux aspects d'analyse, de modélisation, de génération et d'usage. L'objectif est soit de reproduire le comportement humain, soit de permettre des interactions avec les données et les documents qui sont pertinentes pour l'homme.
EXPRESSION, HYBRID, INTUIDOC, LINKMEDIA, MIMETIC, PERCEPT
Modifié en janvier 2022, revenir sur la page actuelle des Départements
Gestion des données et de la connaissance (D7)
Traitement des données et plus précisément l'exploration des relations entre données et connaissances. Au coeur de l'intelligence artificielle, les travaux portent sur le stockage, l'interrogation et la visualisation de données massives ou complexes, ainsi que sur l'exploitation et la valorisation de ces données.
DRUID, DYLISS, GENSCALE, LACODAM, SEMLIS, SHAMAN