Project-team ROMA Optimisation des ressources : modèles, algorithmes et ordonnancement Resource Optimization: Models, Algorithms, and scheduling The ROMA team aims at designing models...
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 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 STORM STatic Optimizations, Runtime Methods The successes of computer science in numerical scientific simulation, indata analysis and now in...
Project-team TROPICAL Tropical methods: structures, algorithms and interactions The project develops tropical methods motivated by applicationsarising in decision theory...
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 WILLOW Embodied computer vision Our research is concerned with representational issues in visual object recognition and scene...
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 AISTROSIGHT Viewing neuron-astrocyte pharmacology through digital sciences Our overall goal is to develop innovative numerical methods for neuropharmacology, the search of new...
Project-team ARAMIS Algorithms, models and methods for images and signals of the human brain Our team is integrated within the Paris Brain Institute (ICM). It is a joint team with CNRS, Inserm...
Project-team ARIC Arithmetic and Computing AriC studies various aspects of approximation and algebra from a computer science point of view...
Project-team AVIZ Analysis and VIsualiZation Like many other fields, the sciences are being transformed by our rapidly-increasing abilities to...
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...