Project-team VIRTUS The VIrtual Us The VirtUs team main objective is to create and simulate immersive populated virtual spaces where...
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...
Project-team WIDE the World Is Distributed Exploring the tension between scale and coordination As distributed computing systems are being deployed within a growing number of everyday applications...
Project-team MINGUS MultI-scale Numerical Geometric Schemes The research group MINGuS focuses on the mathematical and numerical analysis of partial differential...
Project-team LACODAM Large scale Collaborative Data Mining The objective of the LACODAM team is to considerably facilitate the process of making sense from...
Project-team EPICURE Semantic analysis and compilation for secure execution environments The frequent announcements of yet another cybersecurity breach show that the security of the...
Project-team MAGELLAN Reliable and Responsible Decentralized Computing Infrastructures The Magellan Inria / IRISA project-team aims to enable the creation of efficient, robust...
Project-team MIMETIC Analysis-Synthesis Approach for Virtual Human Simulation The MimeTIC research team focuses on designing methods for anlayzing human motion in ecological...
Project-team PACAP Pushing Architecture and Compilation for Application Performance In brief, the long-term goal of the PACAP project-team is about performance of computing systems...
Project-team HYCOMES Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques The Hycomes team-project focuses on research topics related to cyberphysical systems design: Hybrid...
Project-team GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
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 ODYSSEY Ocean DYnamicS obSErvation analYsis The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
Project-team CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...