Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team AROMATH AlgebRa, geOmetry, Modeling and AlgoriTHms Geometry is involved in many domains (manufacturing, simulation, communication, virtual world ...)...
Project-team BIOVISION Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON Vision is a key function to sense the world and perform complex tasks, with a high sensitivity and a...
Project-team BOREAL Knowledge Representation and Rule-Based Languages for Reasoning on Data Current information systems are grounded on the exploitation of data coming from an increasing...
Project-team CAMBIUM Programming languages: type systems, concurrency, proofs of programs The research conducted in the Cambium group aims at improving the safety, reliability and security...
Project-team CARMEN Modélisation et calculs pour l'électrophysiologie cardiaque The team Carmen develops mathematical models and numerical methods in order to simulate the...
Project-team CRONOS Computational modelling of brain dynamical networks The estimation, quantification and comparison of brain dynamics is one of the central challenges of...
Project-team CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team DYOGENE Dynamics of Geometric Networks The scientific focus of DYOGENE is on geometric network dynamics arising in communications...
Project-team EDGE Extended formulations and Decomposition for Generic optimization problems Our research interests lie in the field of operations research (O.R.) and integer programming. Our...
Project-team EPICURE Semantic analysis and compilation for secure execution environments The frequent announcements of yet another cybersecurity breach show that the security of the...