Institut National de Recherche en Informatique et en Automatique

Une nouvelle session du MOOC "Reproducible Research II: Practices and tools for managing computations and data" sera disponible sur la plateforme FUN du 5 mai au 10 septembre 2025, en anglais uniquement. Elle est ouverte à toutes et à tous : les inscriptions sont possibles jusqu'au 3 septembre.

Comment améliorer la méthanisation, la conversion des matières organiques en biogaz d’origine renouvelable ? En conjuguant modélisation, statistique et algorithmique. Antoine Picard s’est attelé à cet exercice délicat lors de sa thèse Cifre, partagée entre Inria et Suez. Résultat : il a mis au point un algorithme au service de l’optimisation du processus de méthanisation, à la fois robuste et performant. Pour cela, il a utilisé une approche d’apprentissage automatique particulière, la théorie PAC-Bayésienne.

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…

Pour qu’un ordinateur quantique effectue des calculs utiles, on estime qu’il faudrait au moins un million à un milliard d’opérations. Or, aujourd’hui, au mieux, une opération sur 1 000 se révèle erronée. Avec ce taux d’erreurs, le résultat devient inutilisable… Cependant, des chercheurs Inria, en collaboration avec la startup Alice & Bob, pourraient bien avoir trouvé une solution pour combattre ces erreurs, en combinant un type d’unités d’information quantique (les "qubits de chat") avec des codes linéaires correcteurs d'erreurs (LDPC). Leur travail a fait l’objet d’une publication dans "Nature Communications" le 26 janvier 2025. Décryptage.

Comment optimiser le fonctionnement des marchés de l’électricité décentralisés ? Telle était l’ambition du projet SAMOA qui vient de s’achever, fruit d’une collaboration étroite entre des chercheurs et chercheuses d’Inria, de la R&D d’EDF et d’Avignon Université. Sa marque de fabrique ? La théorie des jeux. Elle permet de modéliser les interactions entre les agents présents sur le marché, tout en prenant en compte le réseau de distribution d'électricité sous-jacent.

Issu de recherches académiques multidisciplinaires, le logiciel A4LL analyse automatiquement les textes rédigés par les étudiants pour construire un profil du niveau linguistique et permettre aux enseignants de personnaliser leur pédagogie. Un projet d’entreprise vient d’intégrer le programme Inria Startup Studio au Centre Inria de l'Université de Rennes avec pour objectif d’industrialiser ce prototype et d’en faire un outil opérationnel pour les professeurs d’anglais.

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

La pratique du sport est aussi numérique : les sportifs comptent sur les smartphones et les montres connectées pour leur livrer diverses données de santé. Le défi scientifique ? Tirer de celles-ci des informations réellement pertinentes. Une nouvelle équipe Inria, dénommée Boost, compte bien le relever, en alliant physiologie, traitement du signal et modélisation. Son ambition : optimiser ces données pour le suivi de la santé mentale des athlètes.

Le 26 novembre 2024, sous la coupole de l'Institut de France à Paris, l'Académie des sciences remettait ses prestigieux prix venant honorer des scientifiques d’expérience ou soutenir de jeunes scientifiques en début de carrière. Du côté du Centre Inria de Lyon, deux chercheurs ont été récompensés dans deux domaines différents. Il s’agit de Léon Tine, membre de l’équipe-projet Musics et d'Omar Fawzi, responsable de l’équipe-projet Qinfo. Ces prix viennent mettre en lumière l’excellent travail de ces deux jeunes chercheurs. Léon Tine s’est vu remettre le prix de mathématiques Maurice Audin pour ses recherches concernant la modélisation mathématique de mécanismes liés à la physique et à la biologie. Omar Fawzi, quant à lui, a reçu le prix Lovelace-Babbage pour son travail sur l’information quantique. Rencontre.

Mieux détecter les échanges entre baleines à bosse : tel est le défi relevé par des scientifiques d'Inria et de l'Université de Californie à Davis. Ils ont enregistré en 3D les conversations sous-marines de ces cétacés grâce à un dispositif innovant qui aide à mieux traiter les sons et les spatialiser. Une expérience inédite mêlant modélisation, simulation et acoustique au service de la science animale.