Inria's projects-teams by research centre

Centre Inria Bordeaux - Sud-Ouest

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
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
Mistis - Modelling and Inference of Complex and Structured Stochastic Systems
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
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
Rapsodi - Reliable numerical approximations of dissipative systems
Rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution
Sequel - Sequential Learning
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
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
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
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