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	COAST	Supervision des Réseaux et des Services Dynamiques
	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
	CAPSID	Algorithmes de calcul pour les structures et les interactions des protéines
	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