Equipe-projet ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code AriC étudie divers aspects de l'approximation et de l'algèbre d'un point de vue informatique, en...
Equipe-projet AUCTUS Des robots au service de l'humain au travail L'objectif de l'équipe Auctus est d’ imaginer les robots collaboratifs du futur. La capacité d...
Equipe-projet BENAGIL Systèmes répartis performants et sûrs L'équipe Benagil étudie comment concevoir des systèmes distribués plus efficaces et plus sûrs en se...
Equipe-projet CAMBIUM Langages de programmation : systèmes de types, concurrence, preuve de programme Les travaux de l'équipe visent à améliorer la fiabilité, la sûreté et la sécurité du logiciel en...
Equipe-projet CAPSULE Cryptographie Appliquée et Sécurité des Implémentations Les activités de recherche de l'équipe CAPSULE sont organisés autour de 5 axes de recherches, la...
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 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 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 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 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 DISCO Systèmes dynamiques interconnectés dans des environnements complexes Le but de ce projet est de mieux comprendre et de bien formaliser les effets induits par les...
Equipe-projet EVERGREEN Observation de la terre et apprentissage machine pour les défis agro-environnementaux L'équipe EVERGREEN travaille activement à la conception et à la mise en œuvre de techniques d...