Inria's projects-teams by research centre

Changed on 02/07/2020

Below the list of the Inria's projects-teams sort by research centre.

Centre Inria Bordeaux - Sud-Ouest

  • Auctus - Augmenting human comfort in the factory using cobots
  • Cagire - Computational AGility for internal flows sImulations and compaRisons with Experiments
  • Cardamom - Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
  • Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
  • Cqfd - Quality control and dynamic reliability
  • Flowers - Flowing Epigenetic Robots and Systems 
  • Geostat - Geometry and Statistics in acquisition data
  • Hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations 
  • Lfant - Lithe and fast algorithmic number theory
  • Manao - Melting the frontiers between Light, Shape and Matter
  • Memphis - Modeling Enablers for Multi-PHysics and InteractionS 
  • Mnemosyne - Mnemonic Synergy
  • Monc - Mathematical modeling for Oncology 
  • Pleiade - Patterns of diversity and networks of function 
  • Potioc - Popular interaction with 3d content
  • Realopt - Reformulations based algorithms for Combinatorial Optimization 
  • Sistm - Statistics In System biology and Translational Medicine
  • Storm - STatic Optimizations, Runtime Methods
  • Tadaam - Topology-aware system-scale data management for high-performance computing

Centre Inria Grenoble - Rhône Alpes

  • Agora - Wireless Networks for Digital Cities
  • Airsea - Mathematics and computing applied to oceanic and atmospheric flows
  • Anima - Authoring and directing animated story worlds
  • Aric - Arithmetic and Computing
  • Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
  • Beagle - Artificial Evolution and Computational Biology
  • Cash - Compilation and Analyses for Software and Hardware
  • Chroma - Cooperative and Human-aware Robot Navigation in Dynamic Environments
  • Convecs - Construction of verified concurrent systems
  • Corse - compiler optimization and run-time systems
  • Ctrl-A - Control for safe Autonomic computing systems
  • Dante - Dynamic Networks : Temporal and Structural Capture Approach
  • Datamove - Data Aware Large Scale Computing
  • Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
  • Elan - modELing the Appearance of Nonlinear phenomena
  • Erable - European Research team in Algorithms and Biology, formaL and Experimental
  • Ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks
  • Imagine - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
  • Maracas - Models and Algorithms for Reliable Communication Systems
  • Maverick - Models and Algorithms for Visualization and Rendering
  • Moex - Evolving Knowledge
  • Morpheo - Capture and Analysis of Shapes in Motion
  • Mosaic - MOrphogenesis Simulation and Analysis In siliCo
  • Numed - Numerical Medicine
  • Pervasive - Pervasive interaction with smart objects and environments
  • Polaris - Performance analysis and Optimization of LARge Infrastructures and Systems
  • Privatics - Privacy Models, Architectures and Tools for the Information Society
  • Roma - Optimisation des ressources : modèles, algorithmes et ordonnancement
  • Socrate - Software and Cognitive radio for telecommunications
  • Spades - Sound Programming of Adaptive Dependable Embedded Systems
  • Statify - Bayesian and extreme value statistical models for structured and high dimensional data
  • Steep - Sustainability transition, environment, economy and local policy
  • Thoth - Learning visual models from large-scale data
  • Tripop - Modeling, Simulation and Control of Nonsmooth Dynamical Systems
  • Tyrex - Types and Reasoning for the Web

Centre Inria Lille - Nord Europe

  • Bonus - Big Optimization aNd Ultra-Scale Computing
  • Defrost - DEFormable Robotics SofTware
  • Fun - self-organizing Future Ubiquitous Network
  • Inocs - INtegrated Optimization with Complex Structure
  • Links - Linking Dynamic Data
  • Loki - Technology & Knowledge for Interaction
  • Magnet - Machine Learning in Information Networks
  • Modal - MOdel for Data Analysis and Learning
  • Paradyse -
  • Rapsodi - Reliable numerical approximations of dissipative systems
  • Rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution
  • Scool - Sequential decision making under uncertainty problem
  • Spirals - Self-adaptation for distributed services and large software systems
  • Valse - Finite-time control and estimation for distributed systems

Centre Inria Nancy - Grand-Est

  • Bigs - Biology, genetics and statistics
  • Camus - Compiling Architectures of Multicores
  • Capsid - Computational Algorithms for Protein Structures and Interactions
  • Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
  • Coast - Web Scale Trustworthy Collaborative Service Systems
  • Gamble - Geometric Algorithms & Models Beyond the Linear & Euclidean realm
  • Larsen - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
  • Mfx - Matter From Graphics
  • Mocqua - Modèles de calcul émergents
  • Multispeech - Speech Modeling for Facilitating Oral-Based Communication
  • Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
  • Orpailleur - Knowledge representation, reasonning
  • Pesto - Proof techniques for security protocols
  • Pixel -
  • Semagramme - Semantic Analysis of Natural Language
  • Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
  • Tonus - TOkamaks and NUmerical Simulations
  • Veridis - Modeling and Verification of Distributed Algorithms and Systems

Centre Inria de Paris

  • Almanach - Automatic Language Modelling and Analysis & Computational Humanities
  • Alpines - Algorithms and parallel tools for integrated numerical simulations
  • Ange - Numerical Analysis, Geophysics and Environment
  • Antique - Static Analysis by Abstract Interpretation
  • Aramis - Algorithms, models and methods for images and signals of the human brain
  • Cage - Control and Geometry
  • Cambium - Programming languages: type systems, concurrency, proofs of programs
  • Cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
  • Commedia - Computational mathematics for bio-medical applications
  • Cosmiq - Code-based Cryptology, Symmetric Cryptology and Quantum Information
  • Delys - DistributEd aLgorithms and sYStems
  • Dyogene - Dynamics of Geometric Networks
  • Eva - Wireless Networking for Evolving & Adaptive Applications
  • Gang - Networks, Graphs and Algorithms
  • Inbio - Experimental and Computational Methods for Modeling Cellular Processes
  • Mamba - Modelling and Analysis for Medical and Biological Applications
  • Matherials - MATHematics for MatERIALS
  • Mathrisk - Mathematical Risk handling
  • Mimove - Middleware on the Move
  • Mokaplan - Advances in Numerical Calculus of Variations
  • Ouragan - Tools for resolutions in algebra, geometry and their applications
  • Parkas - Parallélisme de Kahn Synchrone
  • PI.R2 - Design, study and implementation of languages for proofs and programs
  • Prosecco - Programming securely with cryptography
  • Quantic - QUANTum Information Circuits
  • Rits - Robotics & Intelligent Transportation Systems
  • Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
  • Sierra - Statistical Machine Learning and Parsimony
  • Valda - Value from Data
  • Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes

Centre Inria Rennes - Bretagne Atlantique

  • Cairn - Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources
  • Celtique - Software certification with semantic analysis
  • Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
  • Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
  • Diverse - Diversity-centric Software Engineering
  • Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
  • Ease - Enabling Affordable Smarter Environment
  • Empenn - EMPENN
  • Fluminance - Fluid Flow Analysis, Description and Control from Image Sequences
  • Gallinette - Gallinette: developing a new generation of proof assistants
  • Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
  • Hybrid - 3D interaction with virtual environments using body and mind
  • Hycomes - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
  • I4S - Statistical Inference for Structural Health Monitoring
  • Kerdata - Scalable Storage for Clouds and Beyond
  • Lacodam - Large scale Collaborative Data Mining
  • Linkmedia - Creating and exploiting explicit links between multimedia fragments
  • Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
  • Mingus - MultI-scale Numerical Geometric Schemes
  • Myriads - Design and Implementation of Autonomous Distributed Systems
  • Pacap - Pushing Architecture and Compilation for Application Performance
  • Panama - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
  • Rainbow - Sensor-based Robotics and Human Interaction
  • Serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
  • Simsmart - SIMulating Stochastic Models with pARTicles
  • Sirocco - Analysis representation, compression and communication of visual data
  • Stack - Software Stack for Massively Geo-Distributed Infrastructures
  • Sumo - SUpervision of large MOdular and distributed systems
  • Tamis - Threat Analysis and Mitigation for Information Security
  • Tea - Time, Events and Architectures
  • Wide - the World Is Distributed Exploring the tension between scale and coordination

Centre Inria Saclay - Île-de-France

  • Ascii - Analysis of Stochastic Cooperative Intelligent Interactions
  • Aviz - Analysis and Visualization
  • Cedar - Rich Data Exploration at Cloud Scale
  • Celeste - Mathematical statistics and learning
  • Commands - Control, Optimization, Models, Methods and Applications for Nonlinear
  • Datashape - Understanding the shape of data
  • Deducteam - DEDUCTEAM
  • Defi - Shape reconstruction and identification
  • Disco - Dynamical Interconnected Systems in COmplex Environments
  • Ex-situ - Extreme Situated Interaction
  • Gamma3 - Automatic mesh generation and advanced methods
  • Grace - Geometry, arithmetic, algorithms, codes and encryption
  • Ilda - Interacting with Large Data
  • Lifeware - Computational systems biology and optimization
  • M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
  • Mexico - Modeling and Exploitation of Interaction and Concurrency
  • Musca - MUltiSCAle population dynamics for physiological systems
  • Opis - OPtImization for large Scale biomedical data
  • Parietal - Modelling brain structure, function and variability based on high-field MRI data.
  • Partout - Proof Automation and RepresenTation: a fOundation of compUtation and deducTion
  • Petrus - PErsonal & TRUSted cloud
  • Poems - Wave propagation: mathematical analysis and simulation
  • Randopt - Randomized Optimisation
  • Specfun - Symbolic Special Functions : Fast and Certified
  • Tau - TAckling the Underspecified
  • Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
  • Tribe - inTeRnet BEyond the usual
  • Tropical - Tropical methods: structures, algorithms and interactions
  • Xpop - Statistical modelling for life sciences

Centre Inria Sophia Antipolis - Méditerranée

  • Abs - Algorithms, Biology, Structure
  • Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
  • Aromath
  • Athena - Computational Imaging of the Central Nervous System
  • Atlantis - modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale
  • Biocore - Biological control of artificial ecosystems
  • Biovision - Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for 
  • Camin - Control of Artificial Movement & Intuitive Neuroprosthesis
  • Castor - Control, Analysis and Simulations for TOkamak Research
  • Coati - Combinatorics, Optimization and Algorithms for Telecommunications
  • Coffee - COmplex Flows For Energy and Environment
  • Datashape - Understanding the shape of data
  • Diana - Design, Implementation and Analysis of Networking Architectures
  • Ecuador - Program transformations for scientific computing
  • Epione - E-Patient: Images, Data & MOdels for e-MediciNE
  • Factas - Functional Analysis for ConcepTion and Assessment of Systems
  • Focus - Foundations of Component-based Ubiquitous Systems
  • Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
  • Graphik - GRAPHs for Inferences and Knowledge representation
  • Hephaistos - HExapode, PHysiology, AssISTance and RobOtics
  • Indes - Secure Diffuse Programming
  • Kairos - Multiform Logical Time for Formal Cyber-Physical System Design
  • Lemon - Littoral Environment: M0dels and Numerics
  • Maasai - Models and Algorithms for Artificial Intelligence
  • Mathneuro - Mathematics for Neuroscience
  • McTao - Mathematics for Control, Transport and Applications
  • Morpheme - Morphologie et Images
  • Neo - Network Engineering and Operations
  • Stamp - Safety Techniques based on Formalized Mathematical Proofs
  • Stars - Spatio-Temporal Activity Recognition Systems
  • Titane - Geometric Modeling of 3D Environments
  • Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics
  • Zenith - Scientific Data Management