Project-team STACK Software Stack for Massively Geo-Distributed Infrastructures STACK members address challenges related to the management and advanced usages of Utility Computing...
Project-team STARS Spatio-Temporal Activity Recognition Systems The Stars research team focuses on the design of cognitive vision systems for Activity Recognition...
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 WIMMICS Web-Instrumented Man-Machine Interactions, Communities and Semantics The web is no longer the simple documentary system built on a simple protocol (HTTP), a simple...
Project-team ABS Algorithms - Biology - Structure Computational Structural Biology (CSB) is the scientific domainconcerned with the development of...
Project-team ACENTAURI Artificial intelligence and efficient algorithms for autonomus robotics The goal of ACENTAURI is to study and develop intelligent, autonomous and mobile robots that...
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 ARIC Arithmetic and Computing AriC studies various aspects of approximation and algebra from a computer science point of view...
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 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 CANARI Cryptography ANalysis and ARIthmetic The goal of the Canari team is to develop effective algorithms to treat the objects of the Langlands...
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 STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team SYCOMORES Symbolic analysis and Component-based design for Modular Real-Time Embedded Systems The objective of the SYCOMORES project-team is to develop a framework for the design and the...