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 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 DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
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 EDGE Formulations étendues et méthodes de décomposition pour des problèmes génériques d'optimisation Notre activité de recherche se situe dans le domaine de la recherche opérationnelle (R.O.) et de la...
Equipe-projet EMPENN Neuroimagerie: méthodes et applications L'équipe de recherche ERL U1228 Empenn (qui signifie "cerveau " en breton) est affiliée à Inria, à l...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Equipe-projet ERMINE Gestion et mesures des opérations et de l'économie des réseaux Les réseaux sont omniprésents et d’une complexité croissante, ils requièrent une gestion efficace de...
Equipe-projet EX-SITU Interaction Située Extrême ExSitu explore les limites de l'interaction en étudiant comment des utilisateurs "extrêmes"...
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
Equipe-projet HYBRID 3D interaction with virtual environments using body and mind Interaction 3D avec les environnements virtuels basée sur le corps et l'esprit. Les travaux d'Hybrid...
Equipe-projet HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques Les travaux de recherche de l'équipe-projet Hycomes portent sur deux sujets relatifs à la conception...