List of projects-teams by fields and themes

Changed on 03/04/2020

Find below the List of Inria projects-teams by fields and themes

Applied Mathematics, Computation and Simulation

Numerical schemes and simulations

  • Ascii - Analyse d’interactions stochastiques intelligentes et coopératives
  • Cqfd - Quality Control and Dynamic Reliability
  • Mathrisk - Mathematical Risk handling
  • Paradyse -
  • Simsmart - SIMulating Stochastic Models with pARTicles

Optimization and control of dynamic systems

  • Cage - Control and Geometry
  • Commands - Control, Optimization, Models, Methods and Applications for Nonlinear Dynamical Systems
  • Disco -  Dynamical Interconnected Systems in COmplex Environments
  • Factas - Functional Analysis for the ConcepTion and Assessment of Systems
  • I4s -  Statistical Inference for Structural Health Monitoring
  • Mctao - Mathematics for Control, Transport and Applications
  • Quantic - QUANTum Information Circuits
  • Sphinx - Heterogeneous Systems: Inverse Problems, Control and Stabilization
  • Tripop - Modélisation, simulation et commande des systèmes dynamiques non lisses
  • Tropical - Tropical methods: structures, algorithms and interactions
  • Valse - Finite-time control and estimation for distributed systems

Optimization, machine learning and statistical methods

  • Bonus - Big Optimization aNd Ultra-Scale computing
  • Celeste - Statistique mathématique et apprentissage
  • Geostat - Geometry and Statistics in acquisition data
  • Inocs - Integrated Optimization with Complex Structure
  • Maasai - Modèles et algorithmes pour l’intelligence artificielle
  • Modal - MOdel for Data Analysis and Learning
  • Randopt -  Randomized Optimisation
  • Realopt - Reformulations based algorithms for Combinatorial Optimization
  • Sequel - Sequential Learning
  • Sierra - Statistical Machine Learning and Parsimony
  • Statify - Bayesian and extreme value statistical models for structured and high dimensional data
  • Tau - IA : TAckling the Underspecified

Numerical schemes and simulations

  • Acumes - Analysis and Control of Unsteady Models for Engineering Sciences
  • Atlantis - Modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale
  • 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
  • Defi - Shape reconstruction and identification
  • Ecuador - Program transformations for scientific computing
  • Elan - modELing the Appearance of Nonlinear phenomena
  • Gamma - Automatic mesh generation and advanced methods
  • Matherials - MATHematics for MatERIALS
  • Memphis - Modeling Enablers for Multi-PHysics and InteractionS
  • Mingus - MultI-scale Numerical Geometric Schemes
  • Mokaplan - Advances in Numerical Calculus of Variations
  • Poems - Wave propagation: mathematical analysis and simulation
  • Rapsodi - Reliable numerical approximations of dissipative systems

Algorithmics, Programming, Software and Architecture

Algorithmics, Computer Algebra and Cryptology

  • Aric - Arithmetic and Computing
  • Aromath - Algebre geometrie Modelisation et Algorithmes
  • Caramba - Cryptology, arithmetic : algebraic methods for better algorithms
  • Cascade - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
  • Cosmiq - Cryptologie symétrique, cryptologie fondée sur les codes et information quantique
  • Datashape - Understanding the shape of data
  • Gamble - Geometric Algorithms & Models Beyond the Linear & Euclidean realm
  • Grace - Geometry, arithmetic, algorithms, codes and encryption
  • Lfant - Lithe and fast algorithmic number theory
  • Ouragan - OUtils de Résolution Algébriques, Géométriques et leurs ApplicatioNs
  • Specfun - Symbolic Special Functions : Fast and Certified

Architecture, Languages and Compilation

  • Cairn - Energy Efficient Computing Architectures
  • Camus - Compilation pour les Architectures MUlti-coeurS
  • Cash - Compilation and Analysis, Software and Hardware
  • Corse - compiler optimization and run-time systems
  • Pacap - Pushing Architecture and Compilation for Application Performance

Proofs and Verification

  • Antique - Static Analysis by Abstract Interpretation
  • Cambium - Langages de programmation : systèmes de types, concurrence, preuve de programme
  • Celtique - Software certification with semantic analysis
  • Convecs - Construction of verified concurrent systems
  • Deducteam - DEDUCTEAM
  • Gallinette - Gallinette: developing a new generation of proof assistants
  • Mexico - Modeling and Exploitation of Interaction and Concurrency
  • Partout - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
  • Pi.r2 - Design, study and implementation of languages for proofs and programs
  • Stamp - Sûreté du logiciel et Preuves Mathématiques Formalisées
  • Sumo - SUpervision of large MOdular and distributed systems
  • Toccata - Certified Programs, Certified Tools, Certified Floating-Point Computations
  • Veridis - Modeling and Verification of Distributed Algorithms and Systems

Security and Confidentiality

  • Cidre - Confidentialité, Intégrité, Disponibilité et Répartition
  • Mocqua - Modèles de calcul émergents
  • Pesto - Proof techniques for security protocols
  • Privatics - Privacy Models, Architectures and Tools for the Information Society
  • Prosecco - Programming securely with cryptography
  • Tamis - Threat Analysis and Mitigation for Information Security

Embedded and Real-time Systems

  • Hycomes - Hybrid systems modeling & contract-based design for cyber-physical systems
  • Kairos - Logical Time for Formal Embedded System Design
  • Parkas - Parallélisme de Kahn Synchrone
  • Spades - Sound Programming of Adaptive Dependable Embedded Systems
  • Tea - Time, Events and Architectures 

Networks, Systems and Services, Distributed Computing

Distributed and High Performance Computing

  • Alpines - Algorithms and parallel tools for integrated numerical simulations
  • Avalon - Algorithms and Software Architectures for Distributed and HPC Platforms
  • Datamove - Data Aware Large Scale Computing
  • Hiepacs - High-End Parallel Algorithms for Challenging Numerical Simulations
  • Kerdata - Scalable Storage for Clouds and Beyond
  • Polaris - Performance analysis and Optimization of LARge Infrastructures and Systems
  • Roma - - Optimisation des ressources : modèles, algorithmes et ordonnancement
  • Storm - STatic Optimizations, Runtime Methods
  • Tadaam - Topology-aware system-scale data management for high-performance computing

Distributed programming and Software engineering

  • Diverse - Diversity-centric Software Engineering
  • Ease - Enabling Affordable Smarter Environment
  • Focus - Foundations of Component-based Ubiquitous Systems
  • Indes - Secure Diffuse Programming
  • Rmod - Analyses and Languages Constructs for Object-Oriented Application Evolution
  • Stack - Software Stack for Massively Geo-Distributed Infrastructures

Networks and Telecommunications

  • Agora - AlGorithmes et Optimisation pour Réseaux Autonomes
  • Coati - Combinatorics, Optimization and Algorithms for Telecommunications
  • Dante - Dynamic Networks : Temporal and Structural Capture Approach
  • Diana - Design, Implementation and Analysis of Networking Architectures
  • Dionysos - Dependability Interoperability and perfOrmance aNalYsiS Of networkS
  • Dyogene - Dynamics of Geometric Networks
  • Eva - Wireless Networking for Evolving & Adaptive Applications
  • Fun - self-organizing Future Ubiquitous Network
  • Gang - Networks, Graphs and Algorithms
  • Maracas - Modèle et algorithmes pour des systèmes de communication fiables
  • Neo - Network Engineering and Operations
  • Socrate - Software and Cognitive radio for telecommunications
  • Tribe - Pour un Internet non-conventionnel

Distributed Systems and middleware

  • Coast - Web Scale Trustworthy Collaborative Service Systems
  • Ctrl-a - Control for safe Autonomic computing systems
  • Delys - DistributEd aLgorithms and sYStems
  • Mimove - Middleware on the Move
  • Myriads - Design and Implementation of Autonomous Distributed Systems
  • Spirals - Self-adaptation for distributed services and large software systems
  • Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
  • Wide - The World Is DistributEd: Exploring the tension between scale and coordination

Perception, Cognition and Interaction

Interaction and visualization

  • Aviz - Analysis and Visualization
  • Ex-situ - Extreme Situated Interaction
  • Graphdeco - GRAPHics and DEsign with hEterogeneous COntent
  • Hybrid - 3D interaction with virtual environments using body and mind
  • Ilda - Interacting with Large Data
  • Imagine - Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments
  • Loki - technology and knowledge for interaction
  • Manao - Melting the frontiers between Light, Shape and Matter
  • Maverick - Models and Algorithms for Visualization and Rendering
  • Mfx - Matter From Graphics
  • Mimetic - Analysis-Synthesis Approach for Virtual Human Simulation
  • Pixel -
  • Potioc - Popular interaction
  • Titane - Geometric Modeling of 3D Environments

Language, Speech and Audio

  • Almanach - Automatic Language Modelling and ANAlysis & Computational Humanities
  • Multispeech - Speech Modeling for Facilitating Oral-Based Communication
  • Panama - Parcimonie et Nouveaux Algorithmes pour le Signal et la Modélisation Audio
  • Semagramme - Semantic Analysis of Natural Language

Data and Knowledge Representation and Processing

  • Cedar - Rich Data Exploration at Cloud Scale
  • Graphik - GRAPHs for Inferences and Knowledge representation
  • Lacodam - Large scale Collaborative Data Mining
  • Links - Linking Dynamic Data
  • Magnet - Machine Learning in Information Networks
  • Moex - Evolving Knowledge
  • Orpailleur - Knowledge discovery, knowledge engineering
  • Petrus - PErsonal & TRUSted cloud
  • Tyrex - Types and Reasoning for the Web
  • Valda - Value from Data
  • Wimmics - Web-Instrumented Man-Machine Interactions, Communities and Semantics
  • Zenith - Scientific Data Management

Robotics and Smart environments

  • Auctus - Augmenting human comfort in the factory using cobots
  • Chroma - Cooperative and Human-aware Robot Navigation in Dynamic Environments
  • Defrost - DEFormable Robotics SofTware
  • Flowers - Flowing Epigenetic Robots and Systems
  • Hephaistos -  HExapode, PHysiology, AssISTance and RobOtics
  • Larsen - Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
  • Pervasive - Pervasive interaction with smart objects and environments
  • Rainbow - Sensor-based Robotics and Human Interaction
  • Rits - Robotics & Intelligent Transportation Systems

Vision, perception and multimedia interpretation

  • Linkmedia - Creating and exploiting explicit links between multimedia fragments
  • Morpheo - Capture and Analysis of Shapes in Motion
  • Sirocco - Analysis representation, compression and communication of visual data
  • Stars - Spatio-Temporal Activity Recognition Systems
  • Thoth - Learning visual models from large-scale data

Digital Health, Biology and Earth

Computational Biology

  • Abs - Algorithms, Biology, Structure
  • Beagle - Artificial Evolution and Computational Biology
  • Bigs - Biology, genetics and statistics
  • Capsid - Computational Algorithms for Protein Structures and Interactions
  • Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
  • Erable - European Research team in Algorithms and Biology, formaL and Experimental
  • Genscale - Scalable, Optimized and Parallel Algorithms for Genomics
  • Ibis - Modeling, simulation, measurement, and control of bacterial regulatory networks
  • Lifeware - Computational systems biology and optimization
  • Morpheme - Morphologie et Images
  • Mosaic - MOrphogenesis Simulation and Analysis In siliCo
  • Pleiade - Patterns of diversity and networks of functions
  • Serpico - Space-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes

Modeling and Control for Life Sciences

  • Biocore - Biological control of artificial ecosystems
  • Carmen - Modélisation et calculs pour l'électrophysiologie cardiaque
  • Commedia - Mathématiques et calcul scientifique pour les applications bio-médicales
  • Dracula - Multi-scale modelling of cell dynamics : application to hematopoiesis
  • Inbio - Méthodes expérimentales et computationnelles pour la modélisation des processus cellulaires
  • M3disim - Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
  • Mamba - Modelling and Analysis for Medical and Biological Applications
  • Monc - Mathematical modeling for Oncology
  • Numed - Numerical Medicine
  • Sistm - Statistics In System biology and Translational Medicine
  • Xpop - Statistical modelling for life sciences

Computational Neuroscience and Medicine

  • Aramis - Algorithms, models and methods for images and signals of the human brain
  • Athena - Computational Imaging of the Central Nervous System
  • Biovision - Biological vision: integrative models and vision aid-systems for visually impaired people
  • Camin - Control of Artificial Movement & Intuitive Neuroprosthesis
  • Empenn - Empenn
  • Epione - E-Patient: Images, Data & MOdels for e-MediciNE
  • Mathneuro - Mathématiques pour les Neurosciences
  • Mnemosyne - Mnemonic Synergy
  • Neurosys - Analysis and modeling of neural systems by a system neuroscience approach
  • Opis - OPtimisation Imagerie et Santé
  • Parietal - Modelling brain structure, function and variability based on high-field MRI data

Earth, Environmental and Energy Sciences

  • Airsea - mathematics and computing applied to oceanic and atmospheric flows
  • Ange - Numerical Analysis, Geophysics and Environment
  • Castor - Control, Analysis and Simulations for TOkamak Research
  • Coffee - COmplex Flows For Energy and Environment
  • Fluminance - Fluid Flow Analysis, Description and Control from Image Sequences
  • Lemon - Littoral, Environnement : Méthodes et Outils Numériques
  • Serena - Simulation for the Environment: Reliable and Efficient Numerical Algorithms
  • Steep - Sustainability transition, environment, economy and local policy
  • Tonus - TOkamaks and NUmerical Simulations