Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team PETRUS PErsonal & TRUSted cloud We are witnessing an exponential accumulation of personal data on central servers: data...
Project-team CELESTE mathematical statistics and learning Data science—a vast field that includes statistics, machine learning, signal processing, data...
Project-team PLATON Uncertainty Quantification in Scientific Computing and Engineering PLATON is an Inria project-team joint with École Polytechnique, within CMAP (Centre de Mathématiques...
Project-team SIMBIOTX SImulations in Medicine, BIOtechnology and ToXicology of multicellular systems The overall objective of SIMBIOTX is the implementation of computational models and tools with...
Project-team MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Project-team QURIOSITY Quantum Information Processing and Communication QURIOSITY’s ambition is to extend the application horizon of quantum information science by...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applications arising in decision theory...
Project-team MUSCA MUltiSCAle population dynamics for physiological systems MUSCA (MUltiSCAle populations dynamics for physiological systems) is a joint project-team between...
Project-team COMETE Privacy, Fairness and Robustness in Information Management In COMETE we study emerging concepts of the modern era of computing. Security and privacy are some...
Project-team DISCO Dynamical Interconnected Systems in COmplex Environments The goal of the project is to better understand and well formalize the effects of complex...
Project-team GRACE Geometry, arithmetic, algorithms, codes and encryption Algorithmic number theory, and the computational issues related to algebraic curves over various...
Project-team M3DISIM Mathematical and Mechanical Modeling with Data Interaction in Simulations for Medicine M3DISIM (pronounced like "medicine" with a final "m") is a joint project-team with Ecole...
Project-team ILDA Interacting with Large Data Datasets are no longer just large. They are distributed over multiple sources and increasingly...
Project-team CEDAR Rich Data Exploration at Cloud Scale In today's data-intensive application, variety is the norm, and is likely to remain so for a while...