Equipe-projet CALISTO Approches stochastiques pour les écoulements complexes et l’environnement La modélisation de la turbulence et la dynamique des particules sont en jeu dans de nombreuses...
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 CASH Compilation et Analyse, Logiciel et Matériel L'avènement du parallélisme dans les ordinateurs et les supercalculateurs amène de nouveaux besoins...
Equipe-projet CELESTE statistique mathématique et apprentissage La science des données — un vaste domaine comprenant la statistique, l'apprentissage automatique, le...
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 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 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 DIVERSE Diversity-centric Software Engineering Notre objectif principal est de composer et de synthétiser automatiquement la diversité logicielle...
Equipe-projet ERMINE Gestion et mesures des opérations et de l'économie des réseaux Les réseaux sont omniprésents et d’une complexité croissante, ils requièrent une gestion efficace de...
Equipe-projet GALLINETTE Gallinette : vers une nouvelle génération d'assistant à la preuve L'EPI Gallinette vise à développer une nouvelle génération d'assistants à la preuve, avec la...
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 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...