Department Team Name Team Description
Algorithms, Computation, Image and Geometry ABC Machine Learning and Computational Biology
ADAGIO Applying Discrete Algorithms to Genomics and Imagery
PIXEL (ex-ALICE) Computer Graphics
CARAMBA Cryptology, Arithmetic: Hardware and Software
GAMBLE Geometric Algorithms and Models Beyond the Linear and Euclidean Realm
TANGRAM Visual Registration with Physically Coherent Models
MFX Matter From Graphics
Formal methods MOCQUA Theoretical Adverse Computations and Safety
CARBONE Mapping of functions and their correlations
DEDALE Development of specifications
MOSEL-VERIDIS Proof-oriented development of computer-based systems
PESTO Combining Approaches for the Security of Infinite state of Systems
TYPES Logic, Proof Theory & Programming
Networks, systems and services RESIST (ex-MADYNES) Management of Dynamic Networks and Services
SIMBIOT Design and validation of “smart” Cyber-Physical systems
OPTIMIST Operation Research for Complex and Hybrid Decision System
COAST Service and Cooperation
Natural Language Processing & Knowledge Discovery
K Team Data Science, Knowledge, Reasoning and Engineering
MULTISPEECH Analysis, Perception and automatic recognition of speech
ORPAILLEUR Knowledge Discovery guided by Domain Knowledge (KDDK)
SMarT Statistical Machine Translation & Speech Modelization and Text
SEMAGRAMME Linear Logic, Proof-nets and Categorial Grammars
SYNALP   Natural Language Processing: representation, inference, and semantics
Complex systems and artificial intelligence CAPSID Computational Algorithms for Protein Structures and Interactions
BIRD Building artificial Intelligence between trust, Responsibility and Decision
BISCUIT Computational Neuroscience
LARSEN Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
NEURORHYTHMS Analysis and modeling of neural systems by a system neuroscience approach