Les équipes
| Département | Équipe | Descriptif | |
|---|---|---|---|
| D1.Algorithmique, calcul, image et géométrie | ABC | Apprentissage et biologie computationnelle | |
| 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 | Matter from Graphics | ||
| PIXEL | Géométrie et lumière | ||
| TANGRAM | Recalage visuel avec des modèles physiquement réalistes | ||
| D2.Méthodes formelles | 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 | ||
| D3.Réseaux, systèmes et services | 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 | ||
| D4.Traitement automatique des langues et des connaissances | |||
| Équipe K | Connaissances, sciences des données, raisonnement et ingénierie | ||
| MULTISPEECH | Analyse, Perception et Reconnaissance automatique de la parole | ||
| ORPAILLEUR | Extraction et représentation de connaissances | ||
| SEMAGRAMME | Logique Linéaire, Réseaux de Démonstration et Grammaires Catégorielles | ||
| SMarT | Statistical Machine Translation & Speech Modelization and Text | ||
| SYNALP | Traitement automatique des langues naturelles par méthode statistique et symbolique | ||
| D5.Systèmes complexes et intelligence artificielle | BIRD | Construire une intelligence artificielle entre confiance, responsabilité et décision | |
| BISCUIT | Technologie de l’information cellulaire et non conventionnelle bio-inspirée | ||
| Algorithmes de calcul pour les structures et les interactions des protéines 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 | ||
