Project-team CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...
Project-team COMBO Computer and Biomechanics –> Out-of-the-Lab ComBO is a joint project-team from Inria and the Universities of Rennes (including Université de...
Project-team COMPACT COMPression of mAssively produCed visual daTa In a context of massively produced and viewed visual data, the main objective of the COMPACT team is...
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...
Project-team DIVERSE Diversity-centric Software Engineering Our main objective is to automatically compose and synthesize software diversity from design to...
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 EMPENN Neuroimaging: methods and applications Empenn ( means "Brain" in Breton language) ERL U1228 research team is jointly affiliated with Inria...
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 ERMINE Measuring and Managing Network operation and economics Networks are omnipresent and increasingly complex, and require an efficient management of their...
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 GENSCALE Algorithms for Genomic Data: Scalability, Precision and Sustainability GenScale is a research team in bioinformatics. Its main objective is to develop efficient methods...
Project-team HYBRID 3D interaction with virtual environments using body and mind The research activity of Hybrid team belongs to the field of Virtual Reality and 3D interaction with...
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 the design of cyberphysical systems...
Project-team I4S Inference for Intelligent Instrumented InfraStructures The overall objective of this project-team is the development of Structural Health Monitoring (SHM)...
