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 VIRTUS The VIrtual Us The VirtUs team main objective is to create and simulate immersive populated virtual spaces where...
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 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 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 CAGE Control and Geometry CAGE's activities take place in the field of mathematical control theory, with applications in three...
Project-team CAMIN Control of Artificial Movement & Intuitive Neuroprosthesis Camin team has grown out of the former Demar team. Our research is dedicated to the design and...
Project-team CAPSID Computational Algorithms for Protein Structures and Interactions The Capsid team develops algorithms and software to help study biological systems and phenomena from...
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 COAST Web Scale Trustworthy Collaborative Service Systems The advent of the Cloud, of smart mobile devices and of service-based architecture has opened a...
Project-team COMMEDIA Computational mathematics for bio-medical applications The research activity of COMMEDIA focuses on the numerical simulation of bio-fluid flows in the...
Project-team COMPO COMPutational pharmacology and clinical Oncology The ambition of the COMPO Inria-Inserm joint project-team is to develop novel mathematical models...
Project-team DEFROST DEFormable Robotics SofTware Our Vision Future robots don’t need to be «rigid» but made of complex deformable structures...
Project-team DEVINE DEpendable distributed systems: formal VerificatIoN made Efficient The overall goal of the Devine project-team is to contribute to the design of dependable distributed...
