Mis à jour le 05/02/2020
Retrouvez ci-dessous la liste des équipes-projets.
- Cairn - Systèmes sur puce reconfigurables : architectures, algorithmes et compilation
- Celtique - Certification de logiciel par analyse sémantique
- Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
- Dionysos - Analyse de sûreté de fonctionnement, d'interopérabilité et de performances de réseaux
- Diverse - Diversity-centric Software Engineering
- Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
- Ease - Solutions pour des environnements intelligents abordables
- Empenn - EMPENN
- Fluminance - Analyse, Description et Contrôle d'écoulements fluides à partir de séquences d'images
- Gallinette - Gallinette : vers une nouvelle génération d'assistant à la preuve
- Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
- Hybrid - 3D interaction with virtual environments using body and mind
- Hycomes - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
- I4S - Inférence Statistique pour la Surveillance et la Sécurité des Structures
- Kerdata - Scalable Storage for Clouds and Beyond
- Lacodam - Fouille de données collaborative à grande échelle
- Linkmedia - Creating and exploiting explicit links between multimedia fragments
- Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
- Mingus - Schémas numériques géométriques multi-échelles
- Myriads - Conception et mise en oeuvre de systèmes distribués autonomes
- Pacap - Pushing Architecture and Compilation for Application Performance
- Panama - (SR0561SR) - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
- Rainbow - (SR0842HR) - robotique interactive et référencée capteurs
- Serpico - (SR0582UR) - Modélisation spatio-temporelle, imagerie et dynamiques cellulaires des complexes moléculaires
- Simsmart - (SR0856DR) - SIMulation pARTiculaire de Modèles Stochastiques
- Sirocco - (SR0505NR) - Analysis representation, compression and communication of visual data
- Stack - (SR0854HR) - Pile logicielle pour les infrastructures massivement géo distribuées
- Sumo - (SR0671YR) - SUpervision of large MOdular and distributed systems
- Tamis - (SR0825UR) - Analyse de la menace et atténuation pour la sécurité des informations
- Tea - (SR0677JR) - Time, Events and Architectures
- Wide - le monde est distribué - Vers une exploration des tensions entre grande échelle et coordination