Equipe-projet SISTM Statistics In System biology and Translational Medicine Objectifs Le défi est d’analyser ces BIG DATA pour répondre à des questions cliniques et biologiques...
Equipe-projet POEMS Propagation des Ondes : Etude Mathématique et Simulation L'activité générale de l'équipe est orientée vers la conception, l'analyse et l'approximation...
Equipe-projet QUANTIC QUANTum Information Circuits L'équipe QUANTIC se trouve à l'interface théorique et expérimentale de l'ingénierie quantique, un...
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...
Equipe-projet STORM Optimisation statique, méthodes d’exécution Les succès de l'informatique en simulation scientifique numérique, enanalyse de données, et...
Equipe-projet TADAAM Gestion des données à l'échelle du système en fonction de la topologie pour le calcul haute performance L'objectif du projet TADaaM est de concevoir et de construire une couche service à l'échelle du...
Equipe-projet PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...
Equipe-projet PETSCRAFT Concevoir des technologies d'amélioration de la vie privée explicables et efficaces
Equipe-projet MUSCLEES Compréhension mathématique multi-échelles d’écosystèmes vivants complexes avec structures émergentes
Equipe-projet CORSE Compiler Optimization and Run-time SystEms CORSE est un groupe de recherche qui regroupe plusieurs expertises situées à l'interface entre le...
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...