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 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 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 DEFROST Logiciels pour robots déformables Notre Vision Les robots du futurs ne seront plus "rigides" comme aujourd'hui mais fait de...
Equipe-projet EPICURE Analyse sémantique et compilation pour la sécurité des environnements d'exécution
Equipe-projet EPIONE E-Patient : Images, données & mOdèles pour la médeciNe numériquE DescriptionNous contribuons au développement du patient numérique (e-patient) pour la médecine...
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 HEPHAISTOS HExapode, PHysiologie, AssISTance et Objets de Service Le projet HÉPHAÏSTOS a été créé le 1er Janvier 2014. Il regroupe des chercheurs INRIA et des...
Equipe-projet I4S Inférence Statistique pour la Surveillance et la Sécurité des Structures La surveillance d'intégrité de structures (ou SHM, pour Structural Health Monitoring) désigne la...
Equipe-projet MAGNET Machine Learning in Information Networks A primary objective of Magnet is in making artificial intelligence more acceptable to society by...
Equipe-projet MARACAS Modèle et algorithmes pour des systèmes de communication fiables MARACAS associe à la théorie des communications et à la théorie de l'information, des approches de...
Equipe-projet MAVERICK Modèles et Algorithmes pour la Visualisation et le Rendu Maverick est une équipe de recherche en synthèse d'images et visualisation. Notre domaine central de...
Equipe-projet MEMPHIS Modèles et méthodes pour les problèmes multiphysiques et interactions Nous visons un changement de paradigme pour la modélisation numérique. Nous le faisons en...