Equipe-projet COSMIQ Cryptologie symétrique, cryptologie fondée sur les codes et information quantique Les travaux de recherche de l'équipe-projet COSMIQ sont essentiellement consacrés à la conception et...
Equipe-projet CRONOS Modélisation des résaux dynamiques cérébraux L'estimation, la quantification et comparaison de la dynamique cérébrale est un des défis centraux...
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 DATASHAPE Comprendre la forme des données DataShape est un projet de recherche dans le domaine de l'Analyse Topologique des Données. Il s'agit...
Equipe-projet DEDUCTEAM DEDUCTEAM Deducteam explore les applications de la théorie de la démonstration à la conception de cadres...
Equipe-projet DEFROST Logiciels pour robots déformables Notre Vision Les robots du futurs ne seront plus "rigides" comme aujourd'hui mais fait de...
Equipe-projet DEVINE Vérification efficace pour des systèmes distribués fiables L'objectif global de l'équipe du projet Devine est de contribuer à la conception de systèmes...
Equipe-projet DIANA Conception, Mise en oeuvre et Analyse d'Architectures Réseau L’équipe DIANA mène des recherches dans le domaine des réseaux, et en particulier sur la conception...
Equipe-projet DISCO Systèmes dynamiques interconnectés dans des environnements complexes Le but de ce projet est de mieux comprendre et de bien formaliser les effets induits par les...
Equipe-projet DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
