Les équipes

Département Nom Equipe Descriptif Equipe
 

 

 

Algorithmique, calcul, image et géométrie

ABC Apprentissage et biologie computationnelle
ADAGIO Algorithmique Discrète et ses Applications à la Génomique et à l’Imagerie
ALICE Géométrie et Lumière
CARAMBA Cryptologie, arithmétique : matériel et logiciel
GAMBLE Geometric Algorithms & Models Beyond the Linear and Euclidean Realm
MAGRIT Augmentation visuelle d’environnements complexes
 

 

 

 

 

Méthodes formelles

CARTE Théorie des calculs adverses, et sécurité
CARBONE Création en cours
DEDALE Développement de spécifications
MOSEL-VERIDIS Méthodes formelles et applications
PAREO Ilots formels : fondations et applications
PESTO Proof Techniques for Security Protocols
TYPES Logique, Théorie de la démonstration et programmation
 

 

Réseaux, systèmes et services

MADYNES Supervision des Réseaux et des Services Dynamiques
OPTIMIST Recherche opérationnelle pour les systèmes de décision hybrides et complexes
COAST Services et Coopération
 

 

 

Traitement automatique des langues et des connaissances

CELLO Logique épistémique computationnelle
ORPAILLEUR Extraction et représentation de connaissances
MULTISPEECH Analyse, Perception et Reconnaissance automatique de la parole
READ Reconnaissance de l’écriture Et Analyse de Documents
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
 

 

Systèmes complexes et intelligence artificielle

CAPSID Computational Algorithms for Protein Structures and Interactions
CORTEX Intelligence neuromimétique
KIWI Knowledge, Information and Web Intelligence
LARSEN Long-term Autonomy and interactions skills for Robots in a sensing ENvironment
NEUROSYS Analysis and modeling of neural systems by a system neuroscience approach

En ce moment

Logo du CNRS
Logo Inria
Logo Université de Lorraine