Inria 2021 teams activities reports

The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. This reports includes the members of the team, the scientific program, the softwares developed by the team and the new results of the year. The report also describes the grants and contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

A

  • ABSAlgorithms - Biology - Structure
  • ACENTAURIArtificial intelligence and efficient algorithms for autonomus robotics
  • ACUMESAnalysis and Control of Unsteady Models for Engineering Sciences
  • AGORAWireless Networks for Digital Cities
  • AIRSEAMathematics and computing applied to oceanic and atmospheric flows
  • ALMANACHAutomatic Language Modelling and Analysis & Computational Humanities
  • ALPINESAlgorithms and parallel tools for integrated numerical simulations
  • ANGENumerical Analysis, Geophysics and Environment
  • ANIMAAuthoring and directing animated story worlds
  • ANTIQUEStatic Analysis by Abstract Interpretation
  • ARAMISAlgorithms, models and methods for images and signals of the human brain
  • ARICArithmetic and Computing
  • AROMATHAlgebRa, geOmetry, Modeling and AlgoriTHms
  • ASCIIAnalysis of Stochastic Cooperative Intelligent Interactions
  • ASTRALAdvanced StatisTical infeRence And controL
  • ATHENAComputational Imaging of the Central Nervous System
  • ATLANTISmodeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale
  • AUCTUSAugmenting human comfort in the factory using cobots
  • AVALONAlgorithms and Software Architectures for Distributed and HPC Platforms
  • AVIZAnalysis and VIsualiZation
  • AYANAAI and Remote Sensing on board for the New Space

B

  • BEAGLEArtificial Evolution and Computational Biology
  • BIGSBiology, genetics and statistics
  • BIOCOREBiological control of artificial ecosystems
  • BIOVISIONBiologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
  • BONUSBig Optimization aNd Ultra-Scale Computing

C

  • CAGEControl and Geometry
  • CAGIREComputational AGility for internal flows sImulations and compaRisons with Experiments
  • CALISTOStochastic Approaches for Complex Flows and Environment
  • CAMBIUMProgramming languages: type systems, concurrency, proofs of programs
  • CAMINControl of Artificial Movement & Intuitive Neuroprosthesis
  • CAMUSCompiling for Multicore Architectures
  • CAPSIDComputational Algorithms for Protein Structures and Interactions
  • CARAMBACryptology, arithmetic : algebraic methods for better algorithms
  • CARDAMOMCertified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts
  • CARMENModélisation et calculs pour l'électrophysiologie cardiaque
  • CASCADEConstruction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
  • CASHCompilation and Analyses for Software and Hardware
  • CASTORControl, Analysis and Simulations for TOkamak Research
  • CEDARRich Data Exploration at Cloud Scale
  • CELESTEmathematical statistics and learning
  • CELTIQUESoftware certification with semantic analysis
  • CHROMACooperative and Human-aware Robot Navigation in Dynamic Environments
  • CIDREConfidentialité, Intégrité, Disponibilité et Répartition
  • COASTWeb Scale Trustworthy Collaborative Service Systems
  • COATICombinatorics, Optimization and Algorithms for Telecommunications
  • COFFEECOmplex Flows For Energy and Environment
  • COMETEConcurrency, Mobility and Transactions
  • COMLCognitive Machine Learning
  • COMMEDIAComputational mathematics for bio-medical applications
  • COMPOCOMPutational pharmacology and clinical Oncology
  • CONVECSConstruction of verified concurrent systems
  • CORSEcompiler optimization and run-time systems
  • COSMIQCode-based Cryptology, Symmetric Cryptology and Quantum Information
  • CTRL-AControl for safe Autonomic computing systems

D

  • DANCEDynamics and Control of Networks
  • DANTEDynamic Networks : Temporal and Structural Capture Approach
  • DATAMOVEData Aware Large Scale Computing
  • DATASHAPEUnderstanding the shape of data
  • DEDUCTEAMDEDUCTEAM
  • DEFROSTDEFormable Robotics SofTware
  • DELYSDistributEd aLgorithms and sYStems
  • DIANADesign, Implementation and Analysis of Networking Architectures
  • DIONYSOSDependability Interoperability and perfOrmance aNalYsiS Of networkS
  • DISCODynamical Interconnected Systems in COmplex Environments
  • DIVERSEDiversity-centric Software Engineering
  • DRACULAMulti-scale modelling of cell dynamics : application to hematopoiesis
  • DYLISSDynamics, Logics and Inference for biological Systems and Sequences
  • DYOGENEDynamics of Geometric Networks

E

  • EASEEnabling Affordable Smarter Environment
  • ECUADORProgram transformations for scientific computing
  • ELANmodELing the Appearance of Nonlinear phenomena
  • EMPENNNeuroimaging: methods and applications
  • EPIONEE-Patient: Images, Data & MOdels for e-MediciNE
  • ERABLEEuropean Research team in Algorithms and Biology, formaL and Experimental
  • EVAWireless Networking for Evolving & Adaptive Applications
  • EX-SITUExtreme Situated Interacton

F

  • FACTASFunctional Analysis for ConcepTion and Assessment of Systems
  • FLOWERSFlowing Epigenetic Robots and Systems
  • FLUMINANCEFluid Flow Analysis, Description and Control from Image Sequences
  • FOCUSFoundations of Component-based Ubiquitous Systems
  • FUNself-organizing Future Ubiquitous Network

G

  • GALLINETTEGallinette: developing a new generation of proof assistants
  • GAMBLEGeometric Algorithms & Models Beyond the Linear & Euclidean realm
  • GAMMAAdaptive Mesh Generation and Advanced numerical Methods
  • GENSCALEScalable, Optimized and Parallel Algorithms for Genomics
  • GEOSTATGeometry and Statistics in acquisition data
  • GRACEGeometry, arithmetic, algorithms, codes and encryption
  • GRAPHDECOGRAPHics and DEsign with hEterogeneous COntent
  • GRAPHIKGRAPHs for Inferences and Knowledge representation

H

  • HEPHAISTOSHExapode, PHysiology, AssISTance and RobOtics
  • HIEPACSHigh-End Parallel Algorithms for Challenging Numerical Simulations
  • HYBRID3D interaction with virtual environments using body and mind
  • HYCOMESModélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

I

  • I4SStatistical Inference for Structural Health Monitoring
  • IDEFIXInversion of Differential Equations For Imaging and physiX
  • ILDAInteracting with Large Data
  • INBIOExperimental and Computational Methods for Modeling Cellular Processes
  • INDESSecure Diffuse Programming
  • INOCSINtegrated Optimization with Complex Structure

K

  • KAIROSMultiform Logical Time for Formal Cyber-Physical System Design
  • KERDATAScalable Storage for Clouds and Beyond
  • KOPERNICKeeping worst case reasoning for different criticalities

L

  • LACODAMLarge scale Collaborative Data Mining
  • LARSENLifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
  • LEMONLittoral Environment: M0dels and Numerics
  • LFANTLithe and fast algorithmic number theory
  • LIFEWAREComputational systems biology and optimization
  • LINKMEDIACreating and exploiting explicit links between multimedia fragments
  • LINKSLinking Dynamic Data
  • LOKITechnology & Knowledge for Interaction

M

  • M3DISIMMathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine
  • MAASAIModels and Algorithms for Artificial Intelligence
  • MAGNETMachine Learning in Information Networks
  • MAKUTUExperimental-based modeling and simulation of wave propagation to characterize geophysical and heliophysical media and to design complex objects
  • MAMBAModelling and Analysis for Medical and Biological Applications
  • MANAOMelting the frontiers between Light, Shape and Matter
  • MARACASModels and Algorithms for Reliable Communication Systems
  • MATHERIALSMATHematics for MatERIALS
  • MATHNEUROMathematics for Neuroscience
  • MATHRISKMathematical Risk handling
  • MAVERICKModels and Algorithms for Visualization and Rendering
  • MCTAOMathematics for Control, Transport and Applications
  • MEMPHISModeling Enablers for Multi-PHysics and InteractionS
  • MEXICOModeling and Exploitation of Interaction and Concurrency
  • MFXMatter from Graphics
  • MICROCOSMEAnalysis, engineering, and control of microorganisms
  • MIMESISComputational Anatomy and Simulation for Medicine
  • MIMETICAnalysis-Synthesis Approach for Virtual Human Simulation
  • MIMOVEMiddleware on the Move
  • MINGUSMultI-scale Numerical Geometric Schemes
  • MNEMOSYNEMnemonic Synergy
  • MOCQUADesigning the Future of Computational Models
  • MODALMOdel for Data Analysis and Learning
  • MOEXEvolving Knowledge
  • MOKAPLANAdvances in Numerical Calculus of Variations
  • MONCMathematical modeling for Oncology
  • MORPHEMEMorphologie et Images
  • MORPHEOCapture and Analysis of Shapes in Motion
  • MOSAICMOrphogenesis Simulation and Analysis In siliCo
  • MULTISPEECHSpeech Modeling for Facilitating Oral-Based Communication
  • MUSCAMUltiSCAle population dynamics for physiological systems
  • MYRIADSDesign and Implementation of Autonomous Distributed Systems

N

  • NEONetwork Engineering and Operations
  • NUMEDNumerical Medicine

O

  • OPISOPtImization for large Scale biomedical data
  • OURAGANTools for resolutions in algebra, geometry and their applications

P

  • PACAPPushing Architecture and Compilation for Application Performance
  • PARADYSEPARticles And DYnamical SystEms
  • PARIETALModelling brain structure, function and variability based on high-field MRI data.
  • PARKASParallélisme de Kahn Synchrone
  • PARTOUTProof Automation and RepresenTation: a fOundation of compUtation and deducTion
  • PASTASpace-time random processes and applications
  • PESTOProof techniques for security protocols
  • PETRUSPErsonal & TRUSted cloud
  • PI.R2Design, study and implementation of languages for proofs and programs
  • PIXELStructure geometrical shapes
  • PLATONUncertainty Quantification in Scientific Computing and Engineering
  • PLEIADEPatterns of diversity and networks of function
  • POEMSWave propagation: mathematical analysis and simulation
  • POLARISPerformance analysis and Optimization of LARge Infrastructures and Systems
  • POTIOCNovel Multimodal Interactions for a Stimulating User Experience
  • PRIVATICSPrivacy Models, Architectures and Tools for the Information Society
  • PROSECCOProgramming securely with cryptography

Q

  • QUANTICQUANTum Information Circuits

R

  • RAINBOWSensor-based Robotics and Human Interaction
  • RANDOPTRandomized Optimization
  • RAPSODIReliable numerical approximations of dissipative systems
  • REALOPTReformulations based algorithms for Combinatorial Optimization
  • RESISTResilience and elasticity for security and scalability of dynamic networked systems
  • RITSRobotics & Intelligent Transportation Systems
  • RMODAnalyses and Languages Constructs for Object-Oriented Application Evolution
  • ROBOTLEARNLearning, perception and control for social robots
  • ROMAOptimisation des ressources : modèles, algorithmes et ordonnancement

S

  • SCOOLSequential decision making under uncertainty problem
  • SEMAGRAMMESemantic Analysis of Natural Language
  • SERENASimulation for the Environment: Reliable and Efficient Numerical Algorithms
  • SERPICOSpace-timE RePresentation, Imaging and cellular dynamics of molecular COmplexes
  • SIERRAStatistical Machine Learning and Parsimony
  • SIMBIOTXSImulations in Medicine, BIOtechnology and ToXicology of multicellular systems
  • SIMSMARTSIMulating Stochastic Models with pARTicles
  • SIROCCOAnalysis representation, compression and communication of visual data
  • SISTMStatistics In System biology and Translational Medicine
  • SOCRATESoftware and Cognitive radio for telecommunications
  • SPADESSound Programming of Adaptive Dependable Embedded Systems
  • SPECFUNSymbolic Special Functions : Fast and Certified
  • SPHINXHeterogeneous Systems: Inverse Problems, Control and Stabilization, Simulation
  • SPIRALSSelf-adaptation for distributed services and large software systems
  • STACKSoftware Stack for Massively Geo-Distributed Infrastructures
  • STAMPSafety Techniques based on Formalized Mathematical Proofs
  • STARSSpatio-Temporal Activity Recognition Systems
  • STATIFYBayesian and extreme value statistical models for structured and high dimensional data
  • STEEPSustainability transition, environment, economy and local policy
  • STORMSTatic Optimizations, Runtime Methods
  • SUMOSUpervision of large MOdular and distributed systems
  • SYCOMORESSymbolic analysis and Component-based design for Modular Real-Time Embedded Systems

T

  • TADAAMTopology-aware system-scale data management for high-performance computing
  • TANGRAMVisual Registration with Physically Coherent Models
  • TARANDomain-Specific Computers in the Post Moore’s Law Era
  • TAUTAckling the Underspecified
  • TEATime, Events and Architectures
  • THOTHLearning visual models from large-scale data
  • TITANEGeometric Modeling of 3D Environments
  • TOCCATACertified Programs, Certified Tools, Certified Floating-Point Computations
  • TONUSTOkamaks and NUmerical Simulations
  • TRIBEinTeRnet BEyond the usual
  • TRIPOPModeling, Simulation and Control of Nonsmooth Dynamical Systems
  • TROPICALTropical methods: structures, algorithms and interactions
  • TYREXTypes and Reasoning for the Web

V

  • VALDAValue from Data
  • VALSEFinite-time control and estimation for distributed systems
  • VERIDISModeling and Verification of Distributed Algorithms and Systems

W

  • WHISPERWell Honed Infrastructure Software for Programming Environments and Runtimes
  • WIDEthe World Is Distributed Exploring the tension between scale and coordination
  • WILLOWEmbodied computer vision
  • WIMMICSWeb-Instrumented Man-Machine Interactions, Communities and Semantics

X

  • XPOPStatistical modelling for life sciences

Z

  • ZENITHScientific Data Management