Les équipes
- Adagio – Algorithmique Discrète et ses Applications à la Géométrie et à l’Imagerie.
- Caramba – Cryptologie, arithmétique : matériel et logiciel.
- Gamble – Geometric Algorithms & Models Beyond the Linear and Euclidean Realm.
- MFX – Informatique graphique pour la fabrication numérique.
- Pixel – Géométrie et lumière.
- Tangram – Recalage visuel avec des modèles physiquement réalistes.
En savoir plus sur le département 1.
- Carbone – Études avancées sur les programmes malveillants et leur écosystème.
- Mocqua – Modèles de calcul classiques et quantique.
- Mosel-Veridis – Méthodes formelles et applications.
- Pesto – Techniques de preuve pour les protocoles de sécurité.
- Types – Logique, Théorie de la démonstration et programmation.
En savoir plus sur le département 2.
- Loreley – Systèmes collaboratifs distribués de confiance et à grande échelle.
- Optimist – Recherche opérationnelle pour les systèmes de décision hybrides et complexes.
- Resist – Supervision des réseaux et des services dynamiques.
- Simbiot – Conception et validation de “smart” systèmes Cyber-Physiques.
En savoir plus sur le département 3.
- MosAIk
- Multispeech – Analyse, Perception et Reconnaissance automatique de la parole.
- Semagramme – Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles.
- SMArT – Statistical Machine Translation & Speech Modelization and Text.
En savoir plus sur le département 4.
- Biscuit – Technologie de l’information cellulaire et non conventionnelle bio-inspirée.
- Capsid – Algorithmes de calcul pour les structures et les interactions des protéines.
- Hucebot – Robotique centrée sur l’humain.
- Larsen – Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés.
- NeuroRhythms – Analyse et modélisation des systèmes neuronaux par une approche de neurosciences systémiques.
En savoir plus sur le département 5.
