Edito

Projet MIND-SCAN - La (première) belle histoire

Le projet MIND-SCAN, porté par Benjamin Allaert (Maître de conférence de l'Institut Mines Telecom Nord-Europe au centre d'Enseignement de Recherche et d'Innovation Systèmes Numériques - CERI SN), a pris fin le 31/05/2026. Il s'agit du premier projet accompagné par le Programme Inria Quadrant arrivant au terme de sa feuille de route. D'un format initial de 6 mois 71k euros, il aura finalement été accompagné pendant 12 mois pour un budget final de 103k euros. Cette évolution a eu lieu à la demande du porteur et après avis favorable du Comité expert, dans le cadre d'une proposition de révision de la feuille de route, pour donner suite à l'obtention de résultats prometteurs et dans l'idée d'aller au-delà des objectifs initiaux d'impact. Cette trajectoire illustre le principe d'accompagnement et l'ingénierie de projet 'agile' portée par le projet.

Pour ce qui est du projet, laissons la parole à Benjamin Allaert :

La belle histoire de MIND-SCAN est avant tout celle d'une idée simple née d'un constat de société. Les troubles posturaux et les problématiques liées au mouvement humain concernent aujourd'hui toutes les générations : les enfants de plus en plus sédentaires, les travailleurs exposés aux troubles musculosquelettiques, les sportifs en recherche de performance, mais également les personnes âgées confrontées à la perte progressive de leurs capacités physiques et cognitives. Face à ces enjeux, je me suis posé une question qui pouvait paraître naïve, voire irréaliste : est-il possible d'estimer la posture humaine à partir des seules interactions entre les pieds et le sol ?

Cette idée allait à contre-courant de la majorité des travaux scientifiques du domaine, largement centrés sur l'utilisation de caméras, de systèmes de capture de mouvement ou de capteurs multiples. Elle remettait également en question une partie de mes propres recherches, jusque-là fortement orientées vers l'analyse du mouvement par la vision par ordinateur. Bien que performantes, ces approches restent intrusives, coûteuses et parfois difficiles à accepter dans les contextes de santé ou de suivi à domicile.

Lorsque le projet a été imaginé, plusieurs financeurs traditionnels ont considéré que l'objectif était trop ambitieux, voire irréaliste. Pourtant, le programme PIQ a accepté de faire confiance à cette intuition, en me donnant l'opportunité d'explorer librement une idée encore peu documentée dans la littérature scientifique.

Quelques mois plus tard, cette intuition est devenue un véritable programme de recherche. Le projet a permis de construire un jeu de données unique, de développer des démonstrateurs fonctionnels, de produire des résultats scientifiques reconnus au plus haut niveau international et, surtout, de fédérer autour de lui de nombreux chercheurs, étudiants, partenaires médicaux et industriels. Ce qui n'était au départ qu'une hypothèse scientifique est aujourd'hui devenue un sujet de recherche structurant, porteur de nombreuses collaborations nationales et internationales.

L'une des plus belles surprises du projet est sans doute l'émergence de Kynexia, une initiative qui n'était absolument pas envisagée lors du lancement du programme. Les avancées réalisées ont progressivement révélé un potentiel de valorisation important, conduisant aujourd'hui à un projet d'incubation puis à une future création d'entreprise autour des technologies développées. L'idée que des travaux de recherche puissent demain contribuer à améliorer le suivi de la santé, de l'autonomie ou du bien-être de milliers de personnes constitue probablement la plus belle réussite de cette aventure.

FOUL-X

Qu'est-ce qui meut les foules ? FOUL-X aborde leur dynamique sous un nouvel angle : chaque foule, chaque lieu, chaque population génère des comportements uniques. Contre l'idée de masses uniformes obéissant à quelques règles simples, le projet documente la diversité des dynamiques réelles et l'influence complexe de l'environnement et de la population — vers des simulateurs enfin capables de les analyser et de les prédire.

PiQuant0

Ce projet porte sur le calcul de la fonctionnelle de Lieb, une grandeur clé de la théorie de la fonctionnelle de densité qui décrit la structure électronique des molécules. Il vise à surmonter le problème de la malédiction de la dimensionnalité qui affecte ce problème. L’objectif final est double : (1) développer une méthode efficace capable de rivaliser avec les techniques de pointe en chimie computationnelle ; (2) fournir des garanties rigoureuses de convergence pour ces méthodes.

ARC

L’Abstraction and Reasoning Corpus (ARC, voir https://arcprize.org/) est un défi d’une grande difficulté proposé par François Chollet (Google) et doté d’un prix de 1 000 000$. L’objectif est de construire un algorithme capable de résoudre des puzzles sur grilles, tâches aisées pour les humains mais qui restent hors de portée des outils d’IA actuels. Ce corpus sert de référence pour mesurer l’intelligence des technologies d’IA et a jusqu’ici principalement mis en évidence leurs limites. Les LLM les plus récents ont réalisé des progrès significatifs mais au prix d’une puissance de calcul colossale, tout en continuant d’éprouver des difficultés tant sur le plan de la perception que du raisonnement.

IACAD

Le projet vise à relever le défi de la mise à jour continue des connaissances sur les attitudes et comportements alimentaires dysfonctionnels (ACAD) en sport grâce à l’automatisation de l’extraction de données scientifiques pour actualiser l’ontologie et le graphe de connaissances. Il développera une innovation d’usage rendant ces savoirs accessibles afin d’individualiser la prévention en santé mentale des athlètes, avec un modèle transférable à d’autres enjeux de santé.

VIP

L'objectif de VIP est de vérifier formellement ProVerif, un vérificateur de protocoles cryptographiques, avec l'assistant à la preuve Isabelle/HOL. Les preuves assistées sont le plus haut standard de sûreté et aident à l'exploration théorique. Un calcul de résolution est au cœur de ProVerif. Le projet doit formaliser la version initiale de ce calcul puis l'augmenter selon les besoins de la communauté. Ce projet est également l'occasion de reconnecter ProVerif avec l'état de l'art en raisonnement automatisé.

Cette newsletter est gérée par l'équipe de direction PIQ.
Ce travail a bénéficié d'une aide de l'état gérée par l'Agence Nationale de la Recherche au titre de France 2030 portant la référence « ANR-24-RRII-0002 ».