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 ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team ALPINES Algorithms and parallel tools for integrated numerical simulations ALPINES is a joint research group between INRIA and J.L. Lions Laboratory, Sorbonne University...
Project-team ASTRAL Advanced StatisTical infeRence And controL The research activities of our team mainly focus on the development of advanced statistical and...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...
Project-team AIO Dependable Networking, Low-Power Wireless and Micro-Robotics Inria-AIO is a leading research team in low-power wireless communications. The team is designing...
Project-team ATLANTIS modeling and numerical methods for computATionaL wave-mAtter iNteracTIons at the nanoScale ATLANTIS is a joint project-team between Inria, CNRS and Université Côte d'Azur thanks to its...
Project-team BONUS Big Optimization aNd Ultra-Scale Computing Being ubiquitous to countless modern engineering and scientic applications, big optimization...
Project-team CAGE Control and Geometry CAGE's activities take place in the field of mathematical control theory, with applications in three...
Project-team CAMBIUM Programming languages: type systems, concurrency, proofs of programs The research conducted in the Cambium group aims at improving the safety, reliability and security...
Project-team CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts From PDEs to certified computational models : this is the motto of CARDAMOM . We aim at providing a...
Project-team CASH Compilation and Analyses for Software and Hardware The overall objective of the CASH team is to design and develop ways to improve the quality of...
Project-team CELESTE mathematical statistics and learning Data science—a vast field that includes statistics, machine learning, signal processing, data...
Project-team COMMEDIA Computational mathematics for bio-medical applications The research activity of COMMEDIA focuses on the numerical simulation of bio-fluid flows in the...
