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...
Project-team TARAN Domain-Specific Computers in the Post Moore’s Law Era Energy efficiency has now become one of the main requirements for virtually all computing platforms...
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 WHISPER Well Honed Infrastructure Software for Programming Environments and Runtimes The focus of Whisper is on how to develop (new) and improve (existing) infrastructure software...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...
Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
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 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 CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...
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 DYLISS Dynamics, Logics and Inference for biological Systems and Sequences Our common "knowledge-based approach" aims at gaining in sensitivity and expressivity through a...