Mis à jour le 05/02/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
- Mfx - Matter From Graphics
- 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é
- Semagramme - Analyse Sémantique de la Langue
- Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
- Tonus - Simulations numériques et TOkamaks
- Veridis - Modeling and Verification of Distributed Algorithms and Systems