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 CAPSULE Applied Cryptography and Implementation Security CAPSULE’s research activities are organized along four axes, namely symmetric-key cryptography, post...
Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team CORSE Compiler Optimization and Run-time SystEms CORSE is a joint research group in the LIG laboratory that regroups several expertise that stand at...
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 DYOGENE Dynamics of Geometric Networks The scientific focus of DYOGENE is on geometric network dynamics arising in communications...
Project-team INBIO Experimental and Computational Methods for Modeling Cellular Processes InBio is an interdisciplinary research group, combining wet and dry biology in the same lab. We...
Project-team KAIROS Multiform Logical Time for Formal Cyber-Physical System Design Kairos is working on how methods and tools to manage concurrency and time at different levels of...
Project-team MAGELLAN Reliable and Responsible Decentralized Computing Infrastructures The Magellan Inria/ IRISA project-team aims to enable the creation of efficient, robust, environment...
Project-team MALICE MAchine Learning with Integration of surfaCe Engineering knowledge: Theory and Algorithms The goal of the MALICE project-team is to combine interdisciplinary skills in statistical learning...
Project-team MANAO Melting the frontiers between Light, Shape and Matter The manao project aims at studying how light, matter and shape act together in synergies, at the...
Project-team MATHEXP Computer algebra, experimental mathematics, and interactions MATHEXP develops and implements symbolic and seminumerical computational methods to deal with...
Project-team MAVERICK Models and Algorithms for Visualization and Rendering Maverick is a research project-team dealing with image synthesis. We place ourselves at the end of...
Project-team MIMESIS Computational Anatomy and Simulation for Medicine The main focus of the MIMESIS team is to develop new solutions at the crossroad between imaging...
Project-team MUSCA MUltiSCAle population dynamics for physiological systems MUSCA (MUltiSCAle populations dynamics for physiological systems) is a joint project-team between...