Equipe-projet MERGE Mathématiques pour l’évolution, la reproduction, la croissance et l’émergence MERGE rassemble des chercheurs travaillant en mathématiques - plus précisément sur les processus...
Equipe-projet MICROCOSME Analyse, ingénierie et contrôle des micro-organismes L'équipe-projet MICROCOSME combine des approches computationnelles et expérimentales pour analyser...
Equipe-projet MIMOVE Middleware on the Move La globalisation et l’omniprésence des infrastructures informatiques et réseaux, des dispositifs...
Equipe-projet NEO Ingénierie et Opérations des Réseaux L'équipe se positionne à l'intersection de la Recherche Opérationnelle et de la Théorie des Réseaux...
Equipe-projet POTIOC Nouvelles Interactions Multimodales pour une Expérience Utilisateur Stimulante Potioc conçoit, développe, et évalue de nouvelles approches qui exploitent l’interaction multimodale...
Equipe-projet QUACS Structures de calcul quantique L'encodage d'informations dans des systèmes quantiques et leur manipulation promettent de grands...
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 SIMBIOTX SImulations en Médecine, BIOtechnologie et ToXicologie de systèmes multicellulaires L'objectif global de SIMBIOTX est la mise en œuvre de modèles et d'outils numériques ayant des...
Equipe-projet SODA Méthodes computationnelles et mathématiques pour comprendre la société et la santé à partir de données La recherche de l'équipe soda est à l'intersection de l'apprentissage statistique, des bases de...
Equipe-projet SPADES Programmation de systèmes embarqués sûrs et adaptatifs L'équipe-projet SPADES cherche à maîtriser la complexité et la fiabilité de systèmes embarqués...
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...