Institut National de Recherche en Informatique et en Automatique

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/08/2024 - 09:05

Comment sécuriser un monde numérique qui ne cesse de se densifier et de se complexifier ? C’est le défi que va relever Canari, une nouvelle équipe d’Inria, grâce à la conception d’outils algorithmiques permettant de protéger nos données confidentielles. Et en vue des futurs ordinateurs quantiques, ultrapuissants, elle ambitionne de développer des systèmes de cryptographie pouvant résister à de nouvelles attaques.

04/07/2024 - 13:30

Comment la recherche en numérique facilite le parcours de soin pour les médecins et les patients ? Depuis plusieurs années, intégrées dans les usages et pratiques médicales, les sciences et technologies du numérique révolutionnent les métiers de la santé. Grâce à l’Intelligence artificielle et aux multitudes de données cliniques et statistiques, il est désormais possible de développer des algorithmes et des modèles pour protéger, dépister et guérir et ce, à l’échelle de l’individu ou d’une population.

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 postdoctorale 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.

12/10/2024 - 08:00

Bien diagnostiquer le cancer de la prostate est un enjeu de santé publique. Cela peut nécessiter le recours à plusieurs examens, dont parfois une biopsie. Celle-ci doit être réalisée avec parcimonie, et nécessite une grande précision. Plusieurs domaines de recherche, dont l’apprentissage automatique et la modélisation numérique, peuvent contribuer à optimiser le recours à cette pratique.

03/11/2025 - 12:08

Depuis plus de trente ans, à Nancy, médecins et informaticiennes et informaticiens associent leurs compétences pour améliorer la prise en charge des patientes et patients en développant les techniques d’imagerie médicale. Rencontre avec le professeur René Anxionnat, chef du service de neuroradiologie au CHRU de Nancy, et Erwan Kerrien, chargé de recherches au sein de l’équipe Inria Tangram, commune avec le CNRS et l’Université de Lorraine et rattachée au laboratoire Loria, autour du développement d’un outil de détection automatique des anévrismes cérébraux.

03/10/2025 - 17:32

Mathématicien et professeur d’informatique à l’université de Göteborg, en Suède, Thierry Coquand est partisan de la philosophie constructiviste en mathématiques. Il a introduit la notion de calcul des constructions, sur laquelle se fondent des logiciels d’assistant de preuve comme Coq et Lean, qui permettent de représenter et de vérifier des preuves mathématiques sur ordinateur. Il est invité à occuper pour l’année 2024-2025 la chaire Informatique et sciences numériques, créée par le Collège de France et Inria.

01/18/2023 - 16:11

Les innovations de l’impression 3D peuvent stimuler la créativité des roboticiens. Tel est l’enseignement du projet ANR MuFFin, mené par Jonàs Martínez, chercheur de l’équipe MFX, commune au Centre Inria Nancy - Grand Est et au Loria. Ses recherches en sciences des matériaux ont permis à l’équipe Inria lilloise Defrost de développer un robot aux capacités inédites. Récit d’un transfert de connaissances réussi.

07/04/2024 - 13:42

De plus en plus, les retransmissions d’épreuves sportives affichent dans les vidéos le nom des athlètes, le record à battre, la vitesse des balles, etc. Mais ces données sont-elles pertinentes et bien présentées pour les spectateurs ? Et de quels outils les designers ont-ils besoin pour créer des modes de visualisation optimaux ? Autant de questions au cœur des recherches d’une équipe Inria. Elles sont axées sur la natation et menées en collaboration avec le laboratoire LIRIS (CNRS)*.

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.