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 AROMATH Algebre geometrie Modelisation et Algorithmes La géométrie est présente dans de nombreux domaines (fabrication, simulation, communication, monde...
Equipe-projet CAMUS Compilation pour les Architectures MUlti-processeurs et multi-coeurS L'équipe CAMUS s'attache à développer, adapter et étendre des techniques de parallélisation et d...
Equipe-projet CANARI Analyse cryptographique et arithmétique Le but de l'équipe Canari est de développer des algorithmes efficaces pour traiter les objets du...
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 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 COMETE Vie privée, équité et robustesse dans la gestion de l'information L'équipe-projet COMETE étudie les concepts émergeant de l'ère moderne de l'informatique. La sécurité...
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 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 DATASHAPE Comprendre la forme des données DataShape est un projet de recherche dans le domaine de l'Analyse Topologique des Données. Il s'agit...