Project-team TITANE Geometric Modeling of 3D Environments Geometric modeling and processing revolve around three main end goals: a computerized shape...
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 TOPAL Tools and Optimization for high Performance Applications and Learning The aim of the Topal team ( Inria, Université de Bordeaux, Bordeaux INP, LaBRI) is to propose...
Project-team VALDA Value from Data Valda’s focus is on both foundational and systems aspects of complex data management, especially...
Project-team VIRTUS The VIrtual Us The VirtUs team main objective is to create and simulate immersive populated virtual spaces where...
Project-team AIRSEA Mathematics and computing applied to oceanic and atmospheric flows Recent events have raised questions on social and economic implications of anthropic alterations of...
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 AVALON Algorithms and Software Architectures for Distributed and HPC Platforms The Avalon research team is a joint group between INRIA, CNRS, ENS Lyon, the University Claude...
Project-team BENAGIL Efficient and safe distributed systems The Benagil team studies how to design more efficient and safer distributed systems with a focus on...
Project-team BONUS Big Optimization aNd Ultra-Scale Computing Being ubiquitous to countless modern engineering and scientic applications, big optimization...
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 COMETE Privacy, Fairness and Robustness in Information Management In COMETE we study emerging concepts of the modern era of computing. Security and privacy are some...
Project-team CRONOS Computational modelling of brain dynamical networks The estimation, quantification and comparison of brain dynamics is one of the central challenges of...
Project-team DATAMOVE Data Aware Large Scale Computing Today’s largest supercomputers1 are composed of hundreds of thousands of cores, with performances...