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
ABS Algorithms - Biology - Structure
ACENTAURI Artificial intelligence and efficient algorithms for autonomus robotics
ACUMES Analysis and Control of Unsteady Models for Engineering Sciences
AGORA Wireless Networks for Digital Cities
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 AlgebRa, geOmetry, Modeling and AlgoriTHms
ASCII Analysis of Stochastic Cooperative Intelligent Interactions
ASTRAL Advanced StatisTical infeRence And controL
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
AYANA AI and Remote Sensing on board for the New Space
B
BEAGLE Artificial Evolution and Computational Biology
BIGS Biology, genetics and statistics
BIOCORE Biological control of artificial ecosystems
BIOVISION Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON
BONUS Big Optimization aNd Ultra-Scale Computing
C
CAGE Control and Geometry
CAGIRE Computational AGility for internal flows sImulations and compaRisons with Experiments
CALISTO Stochastic Approaches for Complex Flows and Environment
CAMBIUM Programming languages: type systems, concurrency, proofs of programs
CAMIN Control of Artificial Movement & Intuitive Neuroprosthesis
CAMUS Compiling for Multicore Architectures
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 Analyses for Software and Hardware
CASTOR Control, Analysis and Simulations for TOkamak Research
CEDAR Rich Data Exploration at Cloud Scale
CELESTE mathematical statistics and learning
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
COMETE Concurrency, Mobility and Transactions
COML Cognitive Machine Learning
COMMEDIA Computational mathematics for bio-medical applications
COMPO COMPutational pharmacology and clinical Oncology
CONVECS Construction of verified concurrent systems
CORSE compiler optimization and run-time systems
COSMIQ Code-based Cryptology, Symmetric Cryptology and Quantum Information
CTRL-A Control for safe Autonomic computing systems
D
DANCE Dynamics and Control of Networks
DANTE Dynamic Networks : Temporal and Structural Capture Approach
DATAMOVE Data Aware Large Scale Computing
DATASHAPE Understanding the shape of data
DEDUCTEAM DEDUCTEAM
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
EMPENN Neuroimaging: methods and applications
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 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
GALLINETTE Gallinette: developing a new generation of proof assistants
GAMBLE Geometric Algorithms & Models Beyond the Linear & Euclidean realm
GAMMA Adaptive Mesh Generation and Advanced numerical Methods
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 Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
I
I4S Statistical Inference for Structural Health Monitoring
IDEFIX Inversion of Differential Equations For Imaging and physiX
ILDA Interacting with Large Data
INBIO Experimental and Computational Methods for Modeling Cellular Processes
INDES Secure Diffuse Programming
INOCS INtegrated Optimization with Complex Structure
K
KAIROS Multiform Logical Time for Formal Cyber-Physical System Design
KERDATA Scalable Storage for Clouds and Beyond
KOPERNIC Keeping worst case reasoning for different criticalities
L
LACODAM Large scale Collaborative Data Mining
LARSEN Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment
LEMON Littoral Environment: M0dels and Numerics
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 & 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
MAKUTU Experimental-based modeling and simulation of wave propagation to characterize geophysical and heliophysical media and to design complex objects
MAMBA Modelling and Analysis for Medical and Biological Applications
MANAO Melting the frontiers between Light, Shape and Matter
MARACAS Models and Algorithms for Reliable Communication Systems
MATHERIALS MATHematics for MatERIALS
MATHNEURO Mathematics for Neuroscience
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
MICROCOSME Analysis, engineering, and control of microorganisms
MIMESIS Computational Anatomy and Simulation for Medicine
MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation
MIMOVE Middleware on the Move
MINGUS MultI-scale Numerical Geometric Schemes
MNEMOSYNE Mnemonic Synergy
MOCQUA Designing the Future of Computational Models
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
MULTISPEECH Speech Modeling for Facilitating Oral-Based Communication
MUSCA MUltiSCAle population dynamics for physiological systems
MYRIADS Design and Implementation of Autonomous Distributed Systems
N
NEO Network Engineering and Operations
NUMED Numerical Medicine
O
OPIS OPtImization for large Scale biomedical data
OURAGAN Tools for resolutions in algebra, geometry and their applications
P
PACAP Pushing Architecture and Compilation for Application Performance
PARADYSE PARticles And DYnamical SystEms
PARIETAL Modelling brain structure, function and variability based on high-field MRI data.
PARKAS Parallélisme de Kahn Synchrone
PARTOUT Proof Automation and RepresenTation: a fOundation of compUtation and deducTion
PASTA Space-time random processes and applications
PESTO Proof techniques for security protocols
PETRUS PErsonal & TRUSted cloud
PI.R2 Design, study and implementation of languages for proofs and programs
PIXEL Structure geometrical shapes
PLATON Uncertainty Quantification in Scientific Computing and Engineering
PLEIADE Patterns of diversity and networks of function
POEMS Wave propagation: mathematical analysis and simulation
POLARIS Performance analysis and Optimization of LARge Infrastructures and Systems
POTIOC Novel Multimodal Interactions for a Stimulating User Experience
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 Optimization
RAPSODI Reliable numerical approximations of dissipative systems
REALOPT Reformulations based algorithms for Combinatorial Optimization
RESIST Resilience and elasticity for security and scalability of dynamic networked systems
RITS Robotics & Intelligent Transportation Systems
RMOD Analyses and Languages Constructs for Object-Oriented Application Evolution
ROBOTLEARN Learning, perception and control for social robots
ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement
S
SCOOL Sequential decision making under uncertainty problem
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
SIMBIOTX SImulations in Medicine, BIOtechnology and ToXicology of multicellular systems
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
STAMP Safety Techniques based on Formalized Mathematical Proofs
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
SYCOMORES Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems
T
TADAAM Topology-aware system-scale data management for high-performance computing
TANGRAM Visual Registration with Physically Coherent Models
TARAN Domain-Specific Computers in the Post Moore’s Law Era
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 inTeRnet BEyond the usual
TRIPOP Modeling, Simulation and Control of Nonsmooth Dynamical Systems
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
W
WHISPER Well Honed Infrastructure Software for Programming Environments and Runtimes
WIDE the World Is Distributed Exploring the tension between scale and coordination
WILLOW Embodied computer vision
WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics
X
XPOP Statistical modelling for life sciences
Z
ZENITH Scientific Data Management