Project-team MUSCA MUltiSCAle population dynamics for physiological systems MUSCA (MUltiSCAle populations dynamics for physiological systems) is a joint project-team between...
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 LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...
Project-team TOCCATA Certified Programs, Certified Tools, Certified Floating-Point Computations Toccata is a research group of the INRIA Saclay-Île-de-France researchcenter, joint with the...
Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team FAIRPLAY Coopetitive AI: Fairness, Privacy, Incentives Most of the current machine learning literature focuses on the case of a single agent (an algorithm)...
Project-team SODA Computational and mathematical methods to understand health and society with data The soda team does research at the intersection between machine-learning, databases, and...
Project-team TAU TAckling the Underspecified Building upon the expertise in machine learning (ML) and stochastic optimization of the late TAO...
Project-team TRIBE inTeRnet BEyond the usual The TRiBE (inTeRnet BEyond the usual) is a research team of Inria Saclay – Ile de France, located at...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...