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 KERDATA Scalable Storage for Clouds and Beyond The KerData project-team is namely focusing on designing innovative architectures and systems for...
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 ODYSSEY Ocean DYnamicS obSErvation analYsis The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
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 RAINBOW Sensor-based Robotics and Human Interaction The long-term vision of the Rainbow team is to develop the next generation of sensor-based robots...
© Institute for Economics Peace Digital and environment Harnessing the Edge-Cloud Continuum for Urgent Computing 13/06/2024
©Unsplash / Sixième Rêve Environment and planet An innovative platform to improve the observation of natural environments 10/04/2024
© Inria / Christophe Droz - équipe I4S Transport A new concept in acoustic insulation for transport 18/04/2024
© Damian / Pixabay Cybersecurity Improving the security of processors against cyberattacks 27/02/2024
© Inria / Photo C. Morel Jobs Marie Skłodowska-Curie Actions Postdoctoral Fellowships: 2024 Inria Hosting Offers 06/02/2024