Teams

Department Team Name Team Description
Algorithms, Computation, Image and Geometry ABC Machine Learning and Computational Biology
ADAGIO Applying Discrete Algorithms to Genomics and Imagery
ALICE Geometry and Lighting
CARAMBA Cryptology, Arithmetic: Hardware and Software
GAMBLE Geometric Algorithms and Models Beyond the Linear and Euclidean Realm
MAGRIT Visual Augmentation of Complex Environments
Formal methods MOCQUA Theoretical Adverse Computations and Safety
CARBONE In construction
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
Knowledge and Language Management CELLO Computational Epistemic Logic in LOrraine
ORPAILLEUR Knowledge Discovery guided by Domain Knowledge (KDDK)
MULTISPEECH Analysis, Perception and automatic recognition of speech
READ Recognition of writing and analysis of documents
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
BISCUIT Computational Neuroscience
KIWI Knowledge, Information and Web Intelligence
LARSEN Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
NEUROSYS Analysis and modeling of neural systems by a system neuroscience approach

Now

Logo du CNRS
Logo Inria
Logo Université de Lorraine