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 INBIO Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires InBio est une équipe de recherche interdisciplinaire combinant des approches de biologie...
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 WILLOW Vision par ordinateur incarnée Nos recherches portent sur les problèmes de représentation dans le domaine de la reconnaissance...
Equipe-projet CASCADE Conception et Analyse de Systèmes pour la Confidentialité et l’Authentification de Données et d’Entitées La cryptographie, ou science du secret, a pour objectif de sécuriser les supports et les échanges de...
Equipe-projet DYOGENE Dynamics of Geometric Networks L'objectif scientifique de DYOGENE est l'étude de la dynamique de réseaux géométriques issus des...
Equipe-projet ARAMIS Algorithmes, modèles et méthodes pour les images et les signaux du cerveau humain sain et pathologique Notre équipe est intégrée au sein de l'Institut du Cerveau (ICM) et est commune avec le CNRS, l...
Equipe-projet SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms L'équipe projet SERENA s'intéresse aux méthodes numériques pour les problèmes environnementaux. Ses...
Equipe-projet VALDA Valeur à partir des données Les recherches de Valda portent sur les aspects fondamentaux et systèmes de la gestion de données...