Project-team CAGE Control and Geometry CAGE's activities take place in the field of mathematical control theory, with applications in three...
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 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 CASTOR Control, Analysis and Simulations for TOkamak Research Castor gathers the activities in numerical simulation of fusion plasmas with the activitiesin...
Project-team CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...
Project-team DATAMOVE Data Aware Large Scale Computing Today’s largest supercomputers1 are composed of hundreds of thousands of cores, with performances...
Project-team DISCO Dynamical Interconnected Systems: Control and Optimization The goal of the project is to better understand and well formalize the effects of complex...
Project-team DIVERSE Diversity-centric Software Engineering Our main objective is to automatically compose and synthesize software diversity from design to...
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 EX-SITU Extreme Situated Interaction ExSitu explores the limits of interaction — how extreme users interact with technology in extreme...
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 Scalable, Optimized and Parallel Algorithms for Genomics GenScale is a research team in bioinformatics. Its main objective is to develop efficient methods...
Project-team MACARON MAChine leARning for Optimized Numerical methods The INRIA Macaron team (common with IRMA and CNRS) works on the construction of numerical methods...