© Inria / Photo M. Magnin Startups Inria au cœur des écosystèmes pour le salon Viva Technology 2024 Europe Quantique, IA, robotique, santé : le numérique à l'échelle européenne Cybersécurité HopLab : une ferme à pots de miel haute interaction
© Freestocks sur Unsplash Industries du futur Programmez en toute sécurité en Rust avec l’assistant de preuve Why3 05/03/2024
© Inria / Vincent Raulin Cybersécurité Aider l’intelligence artificielle à détecter les malwares 21/11/2023
Calcul formel Certifier l’exactitude, la sécurité et la fiabilité des logiciels : Swarn Priya lauréate du prix L’Oréal-UNESCO 2023 09/10/2023
© Inria / Photo C. Lebedinsky Partenariats européens Assistants de preuve : renforcer la position européenne via EuroProofNet 01/03/2022
@Pixabay / photo Pete Linforth Industries du futur Blockchain : 14 recommandations pour lever les verrous technologiques et techniques existants 25/05/2021
© Inria / Photo D. Betzinger Cybersécurité SecureIoT : parer les attaques informatiques contre l’Internet des objets 17/05/2021
© Inria / Photo D. Betzinger Industries du futur AI@EDGE : l'intelligence artificielle de demain, plus sûre, plus rapide, plus ouverte 01/03/2021