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 ODYSSEY Ocean DYnamicS obSErvation analYsis The name Odyssey is a short-cut that stands for ``Ocean DYnamicS obSErvation analYsis'', and aims to...
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 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 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 SIMSMART SIMulating Stochastic Models with pARTicles Simsmart is a computational probability and statistics research team, dedicated to the study of...
© 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