List of Project Teams

Changed on 18/09/2020

Inria's project teams are distributed in its 8 research centers and their branches. More than 3,500 scientists work daily to meet the challenges of information and communication science and technology.

 

Inria's projects-teams sort by : 

Below, the Inria's projects-teams sort by alphabetical order : 

A

  • Abs - Algorithms, Biology, Structure
  • Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
  • Agora - ALGorithmes et Optimisation pour Réseaux Autonomes
  • Airsea - mathematics and computing applied to oceanic and atmospheric flows
  • Almanach - Automatic Language Modelling and ANAlysis & Computational Humanities
  • Alpines - Algorithms and parallel tools for integrated numerical simulations
  • Ange - Numerical Analysis, Geophysics and Environment
  • Anima - Authoring and directing animated story worlds
  • Antique - Static Analysis by Abstract Interpretation
  • Aramis - Algorithms, models and methods for images and signals of the human brain
  • Aric - Arithmetic and Computing
  • Aromath - Algebre geometrie Modelisation et Algorithmes
  • Ascii - Analyse d’interactions stochastiques intelligentes et coopératives
  • Athena - Computational Imaging of the Central Nervous System
  • Atlantis - modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale
  • Auctus - Augmenting human comfort in the factory using cobots
  • Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
  • Aviz - Analysis and Visualization

B

  • Beagle - Artificial Evolution and Computational Biology
  • Bigs - Biology, genetics and statistics
  • Biocore - Biological control of artificial ecosystems
  • Biovision - Biological vision: integrative models and vision aid-systems for visually impaired people
  • Bonsai - Bioinformatics and Sequence Analysis
  • Bonus - Big Optimization aNd Ultra-Scale computing

C

  • Cage - Control and Geometry
  • Cagire - Computational AGility for internal flows sImulations and compaRisons with Experiments
  • Cairn - Energy Efficient Computing Architectures
  • Cambium - Langages de programmation : systèmes de types, concurrence, preuve de programme
  • Camin - Control of Artificial Movement & Intuitive Neuroprosthesis
  • Camus - Compilation pour les Architectures MUlti-coeurS
  • Capsid - Computational Algorithms for Protein Structures and Interactions
  • Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
  • Cardamom - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
  • Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
  • Cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
  • Cash - Compilation and Analysis, Software and Hardware
  • Castor - Control, Analysis and Simulations for TOkamak Research
  • Cedar - Rich Data Exploration at Cloud Scale
  • Celtique - Software certification with semantic analysis
  • Chroma - Cooperative and Human-aware Robot Navigation in Dynamic Environments
  • Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
  • Coast - Web Scale Trustworthy Collaborative Service Systems
  • Coati - Combinatorics, Optimization and Algorithms for Telecommunications
  • Coffee - COmplex Flows For Energy and Environment
  • Commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
  • Convecs - Construction of verified concurrent systems
  • Corse - compiler optimization and run-time systems
  • Cqfd - Quality control and dynamic reliability
  • Ctrl-a - Control for safe Autonomic computing systems

D

  • Dante - Dynamic Networks : Temporal and Structural Capture Approach
  • Datamove - Data Aware Large Scale Computing
  • Datashape - Understanding the shape of data
  • Deducteam - DEDUCTEAM
  • Defi - Shape reconstruction and identification
  • Defrost - DEFormable Robotics SofTware
  • Delys - DistributEd aLgorithms and sYStems
  • Diana - Design, Implementation and Analysis of Networking Architectures
  • Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
  • Disco - Dynamical Interconnected Systems in COmplex Environments
  • Diverse - Diversity-centric Software Engineering
  • Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
  • Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
  • Dyogene - Dynamics of Geometric Networks

E

  • Ease - Enabling Affordable Smarter Environment
  • Ecuador - Program transformations for scientific computing
  • Elan - modELing the Appearance of Nonlinear phenomena
  • Epione - E-Patient: Images, Data & MOdels for e-MediciNE
  • Erable - European Research team in Algorithms and Biology, formaL and Experimental
  • Eva - Wireless Networking for Evolving & Adaptive Applications
  • Ex-situ - Extreme Situated Interaction

F

  • Factas - Functional Analysis for the ConcepTion and Assessment of Systems
  • Flowers - Flowing Epigenetic Robots and Systems
  • Fluminance - Fluid Flow Analysis, Description and Control from Image Sequences
  • Focus - Foundations of Component-based Ubiquitous Systems
  • Fun - self-organizing Future Ubiquitous Network

G

  • Gaia et jaune - Geometry, Algebra, Informatics, Applications
  • Galen-post et jaune  - Organ Modeling through Extraction, Representation and Understanding of Medical Image Content
  • Gallinette - Gallinette: developing a new generation of proof assistants
  • Gallium - Programming languages, types, compilation and proofs
  • Gamble - Geometric Algorithms & Models Beyond the Linear & Euclidean realm
  • Gamma - Automatic mesh generation and advanced methods
  • Gang - Networks, Graphs and Algorithms
  • Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
  • Geostat - Geometry and Statistics in acquisition data
  • Grace - Geometry, arithmetic, algorithms, codes and encryption
  • Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
  • Graphik - GRAPHs for Inferences and Knowledge representation

H

  • Hephaistos - HExapode, PHysiology, AssISTance and RobOtics
  • Hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations
  • Hybrid - 3D interaction with virtual environments using body and mind
  • Hycomes - Hybrid systems modeling & contract-based design for cyber-physical systems

I

  • I4s - Statistical Inference for Structural Health Monitoring
  • Ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks
  • Ilda - Interacting with Large Data
  • Imagine - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
  • Inbio - Experimental and Computational Methods for Modeling Cellular Processes
  • Indes - Secure Diffuse Programming
  • Infine-post et jaune - INFormation NEtworks
  • Inocs - Integrated Optimization with Complex Structure

K

  • Kairos - Logical Time for Formal Embedded System Design
  • Kerdata - Scalable Storage for Clouds and Beyond

L

  • Lacodam - Large scale Collaborative Data Mining
  • Larsen - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
  • Lemon - Littoral, Environnement : Méthodes et Outils Numériques
  • Lfant - Lithe and fast algorithmic number theory
  • Lifeware - Computational systems biology and optimization
  • Linkmedia - Creating and exploiting explicit links between multimedia fragments
  • Links - Linking Dynamic Data
  • Loki - technology and knowledge for interaction

M

  • M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
  • Maasai - Models and Algorithms for Artificial Intelligence
  • Magnet - Machine Learning in Information Networks
  • Mamba - Modelling and Analysis for Medical and Biological Applications
  • Manao - Melting the frontiers between Light, Shape and Matter
  • Marelle - Mathematics, Reasoning, and Software
  • Matherials - MATHematics for MatERIALS
  • Mathneuro - Mathématiques pour les Neurosciences
  • Mathrisk - Mathematical Risk handling
  • Maverick - Models and Algorithms for Visualization and Rendering
  • Mctao - Mathematics for Control, Transport and Applications
  • Memphis - Modeling Enablers for Multi-PHysics and InteractionS
  • Mexico - Modeling and Exploitation of Interaction and Concurrency
  • Mfx - Matter From Graphics
  • Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
  • Mimove - Middleware on the Move
  • Mingus - MultI-scale Numerical Geometric Schemes
  • Mnemosyne - Mnemonic Synergy
  • Mocqua - Modèles de calcul émergents
  • Modal - MOdel for Data Analysis and Learning
  • Moex - Evolving Knowledge
  • Mokaplan - Advances in Numerical Calculus of Variations
  • Monc - Mathematical modeling for Oncology
  • Morpheme - Morphologie et Images
  • Morpheo - Capture and Analysis of Shapes in Motion
  • Mosaic - MOrphogenesis Simulation and Analysis In siliCo
  • Musca - MUltiSCAle population dynamics for physiological systems
  • Multispeech - Speech Modeling for Facilitating Oral-Based Communication
  • Myriads - Design and Implementation of Autonomous Distributed Systems

N

  • Neo - Network Engineering and Operations
  • Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
  • Non-a post - Non-Asymptotic estimation for online systems
  • Numed - Numerical Medicine

O

  • Opis - OPtimisation Imagerie et Santé
  • Orpailleur - Knowledge discovery, knowledge engineering
  • Ouragan - OUtils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs

P

  • Pacap - Pushing Architecture and Compilation for Application Performance
  • Panama - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
  • Paradyse -
  • Parietal - Modelling brain structure, function and variability based on high-field MRI data.
  • Parkas - Parallélisme de Kahn Synchrone
  • Partout - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
  • Pervasive - Pervasive interaction with smart objects and environments
  • Pesto - Proof techniques for security protocols
  • Petrus - PErsonal & TRUSted cloud
  • Pi.r2 - Design, study and implementation of languages for proofs and programs
  • Pixel -
  • Pleiade - Patterns of diversity and networks of functions
  • Poems-post - Wave propagation: mathematical analysis and simulation
  • Polaris - Performance analysis and Optimization of LARge Infrastructures and Systems
  • Potioc - Popular interaction
  • Privatics - Privacy Models, Architectures and Tools for the Information Society
  • Prosecco - Programming securely with cryptography

Q

  • Quantic - QUANTum Information Circuits

R

  • Rainbow - Sensor-based Robotics and Human Interaction
  • Randopt - Randomized Optimisation
  • Rapsodi - Reliable numerical approximations of dissipative systems.
  • Realopt - Reformulations based algorithms for Combinatorial Optimization
  • Rits - Robotics & Intelligent Transportation Systems
  • Rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution
  • Roma - Optimisation des ressources : modèles, algorithmes et ordonnancement

S

  • Sequel - Sequentiel Learning
  • Select - Model selection in statistical learning
  • Semagramme - Semantic Analysis of Natural Language
  • Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
  • Serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
  • Sierra - Statistical Machine Learning and Parsimony
  • Simsmart - SIMulating Stochastic Models with pARTicles
  • Sirocco - Analysis, representation, compression and communication of visual data
  • Sistm - Statistics In System biology and Translational Medicine
  • Socrate - Software and Cognitive radio for telecommunications
  • Spades - Sound Programming of Adaptive Dependable Embedded Systems
  • Specfun - Symbolic Special Functions : Fast and Certified
  • Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
  • Spirals - Self-adaptation for distributed services and large software systems
  • Stack - Software Stack for Massively Geo-Distributed Infrastructures
  • Stars - Spatio-Temporal Activity Recognition Systems
  • Statify - Bayesian and extreme value statistical models for structured and high dimensional data
  • Steep - Sustainability transition, environment, economy and local policy
  • Storm - STatic Optimizations, Runtime Methods
  • Sumo - SUpervision of large MOdular and distributed systems

T

  • Tadaam - Topology-aware system-scale data management for high-performance computing
  • Tamis - Threat Analysis and Mitigation for Information Security
  • Tau - TAckling the Underspecified
  • Tea - Time, Events and Architectures
  • Thoth - Learning visual models from large-scale data
  • Titane - Geometric Modeling of 3D Environments
  • Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
  • Tonus - TOkamaks and NUmerical Simulations
  • Tribe - Pour un Internet non-conventionnel
  • Tripop - Modélisation, simulation et commande des systèmes dynamiques non lisses
  • Tropical - Tropical methods: structures, algorithms and interactions
  • Tyrex - Types and Reasoning for the Web

V

  • Valda - Value from Data
  • Valse - Finite-time control and estimation for distributed systems
  • Veridis - Modeling and Verification of Distributed Algorithms and Systems
  • Visages - Vision, Action and information manaGement System in health

W

  • Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
  • Wide - The World Is DistributEd: Exploring the tension between scale and coordination
  • Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics

X

  • Xpop - Statistical modelling for life sciences

 Z

  • Zenith - Scientific Data Management