Mis à jour le 29/09/2020
Retrouvez ci-dessous la liste des équipes-projets.
- Bigs - Biologie, génétique et statistiques
- Camus - Compilation pour les Architectures MUlti-coeurS
- Capsid - Computational Algorithms for Protein Structures and Interactions
- Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
- Coast - Web Scale Trustworthy Collaborative Service Systems
- Gamble - Géométrie, Algorithmes et Modèles Bien au-delà du Linéaire et de l’Euclidien
- Larsen - Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
- Magrit - Augmentation visuelle d'environnements complexes
- Mfx - Matter From Graphics
- Mimesis - Computational Anatomy and Simulation for Medicine
- Mocqua - Modèles de calcul émergents
- Multispeech - Speech Modeling for Facilitating Oral-Based Communication
- Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
- Orpailleur - Représentation de connaissances, raisonnements
- Pesto - Techniques de Preuves pour les Protocoles de Sécurité
- Pixel - Fidélité à la Géométrie
- Resist - Résilience et élasticité à large échelle pour les systèmes en réseaux dynamiques et sécurisés
- Semagramme - Analyse Sémantique de la Langue
- Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
- Tonus - Simulations numériques et TOkamaks
- Tosca - Simuler et calibrer des modèles stochastiques
- Veridis - Modeling and Verification of Distributed Algorithms and Systems