Institut National de Recherche en Informatique et en Automatique

02/25/2025 - 10:00

41 milliards d’appareils connectés en 2025. L’Internet des Objets explose. Et avec lui, la complexité de conception de ces réseaux. D’autant plus qu’un simple changement sur une seule machine localement peut engendrer le dysfonctionnement de toute une architecture. Un des problèmes provient du fait que les développeurs peinent à préserver les propriétés de temps contrairement à celles liées à la mémoire. Au Centre Inria de l’Université de Rennes, le chercheur Benjamin Lion vient de recevoir une bourse post-doctorale Marie Skłodowska-Curie pour à la fois tenter d’intégrer ce facteur temps dans la sémantique des programmes et aussi de prouver formellement sa préservation durant la compilation. Cette recherche pourrait impacter le secteur industriel mais aussi permettre aux compilateurs de franchir un grand pas. Explications

03/04/2025 - 17:10

Rencontre avec Aymeric Fromherz, spécialiste en vérification formelle et chercheur ISFP depuis 2022 au sein de l’équipe-projet PROSECCO. Il revient sur son parcours, de sa prépa en mathématiques à sa thèse aux États-Unis, et met en lumière son intérêt pour les applications concrètes dans son domaine de recherche : l'amélioration de la fiabilité logicielle grâce à la modélisation mathématique des programmes. Une recherche avec des applications dans la cryptographie, les systèmes d'exploitation et même en droit fiscal…

02/18/2025 - 15:02

Après une première collaboration fructueuse sur le stockage distribué des données, Inria et Hivenet franchissent une nouvelle étape avec le lancement du défi CUPSELI. Ce programme ambitieux vise à repousser les frontières du calcul distribué et de l’intelligence artificielle pour proposer une alternative souveraine, sécurisée et durable aux solutions cloud centralisées.

02/07/2025 - 08:39

Le Sommet pour l'action sur l'intelligence artificielle (AI Action Summit) se tient les 10 et 11 février 2025 à Paris au cœur d’une semaine consacrée aux enjeux de l’IA. Cet événement rassemble des chefs d’État, dirigeants d’entreprises, organisations internationales et ONG, comme le monde académique et la société civile. En marge du sommet, de nombreux événements à destination de tous les publics (scientifiques, entreprises) se sont organisés. Inria s’inscrit dans cette programmation unique autour de l’intelligence artificielle, découvrez nos principaux rendez-vous !

04/11/2023 - 11:30

En réanimation, souvent à la sortie d'un coma artificiel, en particulier après le Covid, les patients éprouvent des difficultés à retrouver la marche. Un phénomène nerveux et musculaire que l'on appelle la neuromyopathie. À Rennes, des chercheurs d'Inria et du CHU testent actuellement un protocole innovant pour accélérer cette réappropriation des jambes grâce à la réalité virtuelle. Le projet s'appelle Verare. Parallèlement à l'étude clinique toujours en cours, il engendre une série d'avancées sur le plan technologique.

02/25/2025 - 13:54

"Elles font le numérique" est une série qui met en lumière les parcours et les réalisations de femmes scientifiques dont les recherches en sciences du numérique façonnent notre avenir. Pour ce premier numéro nous avons échangé avec Mélanie Prague, responsable de l'équipe-projet SISTM du Centre Inria de l'université de Bordeaux.

02/24/2025 - 11:48

Pourra-t-on un jour lire dans nos pensées ? Si la prouesse semble encore lointaine, une équipe internationale impliquant des chercheurs d’Inria vient de faire un grand pas dans la bonne direction : en combinant un outil d’IA et les neurosciences, elle a réussi à créer un « morphospace », une représentation géométrique des fonctions cognitives, support à la prédiction de certaines pensées. Une recherche publiée par la prestigieuse revue Nature Communications.

03/05/2025 - 14:53

Après un cancer du sein, les patientes présentent souvent des troubles cognitifs qui compliquent la reprise de leur activité professionnelle. Durant sa thèse de doctorat au Centre Inria de l’Université de Rennes, Émilie Hummel vient d’explorer comment une application de réalité virtuelle pourrait contribuer au programme clinique de réadaptation et faciliter le retour au travail.

02/18/2025 - 13:01

En informatique quantique, la description de l’état d’un système quantique représente toujours un défi majeur, parce qu’il repose sur un nombre exponentiel de paramètres. Face à cette complexité, Omar Fawzi, directeur de recherche Inria à Lyon, a réussi à mettre au point un algorithme permettant de calculer les propriétés physiques des systèmes quantiques. Un pas de plus vers l’usage de l’ordinateur quantique ?

02/24/2025 - 10:49

Créer grâce à l’IA des outils d’apprentissage et d’évaluation qui s’adaptent au niveau et aux objectifs de chaque élève : c’est l’ambition de Jill-Jênn Vie, chercheur dans l’équipe-projet Soda d’Inria. Cet expert du domaine, passionné de pédagogie, estime néanmoins que les enseignants restent indispensables.