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 TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
Project-team VALDA Value from Data Valda’s focus is on both foundational and systems aspects of complex data management, especially...
Project-team VALSE Finite-time control and estimation for distributed systems The information revolution brings new possibilities related with Internet of Things and Cyber...
Project-team VERIDIS Modeling and Verification of Distributed Algorithms and Systems VeriDis is a joint research group of Inria Nancy, Max-Planck Institut für Informatik, CNRS and the...
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 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 BIVWAC Building Immersive Visualizations for Welfare, Awareness, and Comprehension Bivwac is an Inria- CNRS joint research team in association with the LaBRI computer science lab at...
Project-team BOREAL Knowledge Representation and Rule-Based Languages for Reasoning on Data Current information systems are grounded on the exploitation of data coming from an increasing...
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 CASCADE Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities Cryptography, or the "Science of Secret", aims at protecting digital data during communications, or...
Project-team CASH Compilation and Analyses for Software and Hardware The advent of parallelism in supercomputers and in more classical end-user computers increases the...
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...