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...
Equipe-projet CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Nos travaux visent le domaine général d'application de la cryptographie et de la cryptanalyse, d'un...
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 RAPSODI Approximations numériques fiables pour les systèmes dissipatifs RAPSODI est une équipe commune entre Inria, l’Université de Lille et le CNRS. L’activité de l’équipe...
Equipe-projet LARSEN Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
Equipe-projet RESIST Résilience et élasticité pour la mise à l'échelle et la sécurité des systèmes en réseaux dynamiques L'équipe projet RESIST conçoit, développe et valide de nouveaux modèles, algorithmes et outils pour...
Equipe-projet MFX Informatique graphique pour la fabrication numérique Notre équipe se concentre sur les défis liés à la complexité des formes dans le contexte de l...
Equipe-projet TROPICAL Méthodes tropicales: structures, algorithmes et interactions Ce projet développe des méthodes s'appuyant sur les mathématiques tropicales pour traiter des...
Equipe-projet EMPENN Neuroimagerie: méthodes et applications L'équipe de recherche ERL U1228 Empenn (qui signifie "cerveau " en breton) est affiliée à Inria , à...
Equipe-projet COMMEDIA Mathématiques et calcul scientifique pour les applications bio-médicales L’activité de recherche de COMMEDIA est axée sur la simulation numérique d'écoulements bio-fluides...
Equipe-projet STAMP • Sûreté du logiciel et Preuves Mathématiques Formalisées L'équipe-project STAMP s'intéresse à la vérification formelle d'algorithmes et de résultats...