Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
Project-team SERENA Simulation for the Environment: Reliable and Efficient Numerical Algorithms The project-team SERENA is concerned with numerical methods for environmental problems. The main...
Project-team ELAN modELing the Appearance of Nonlinear phenomena ELAN has the ambition to become a unique simulation team at Inria with an original positioning...
Project-team MOCQUA Designing the Future of Computational Models The goal of the Mocqua team is to tackle challenges coming from the emergence of new or future...
Project-team INOCS INtegrated Optimization with Complex Structure An optimization problem consists in finding a best solution from a set of feasible solutions. Such a...
Project-team MFX Matter from Graphics Our team focuses on challenges related to shape complexity in the context of Computer Graphics and...
Project-team CAGE Control and Geometry CAGE's activities take place in the field of mathematical control theory, with applications in three...
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...
Project-team TRIPOP Modeling, Simulation and Control of Nonsmooth Dynamical Systems The TRIPOP team (2018- ) is a joint research team of Inria Grenoble Rhone-Alpes and of the...
Project-team INBIO Experimental and Computational Methods for Modeling Cellular Processes InBio is an interdisciplinary research group, combining wet and dry biology in the same lab. We...
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 MAASAI Models and Algorithms for Artificial Intelligence Maasai is a research project-team at Inria Sophia-Antipolis , working on the models and algorithms...
Project-team SCOOL Sequential decision making under uncertainty problem The scientific project of Scool is focussed on sequential decision making under uncertainty. In...
Project-team MAKUTU Experimental-based modeling and simulation of wave propagation to characterize geophysical and heliophysical media and to design complex objects Numerical geosciences encompass a large variety of scientific activities tackling societal...