Le prix de thèse ASTI 2009

Faisant suite aux éditions de 2005 et 2007, l'ASTI décerne aujourd'hui en collaboration avec l'INRIA deux prix récompensant d'excellents travaux dans le domaine des STIC. Les membres du jury, 38 chercheurs et enseignants-chercheurs appartenant à des instituts et des universités suisses, dannoises, belges et françaises, remercient l'ASTI de la confiance qu'elle nous a accordée dans cette tâche.

Pour cette nouvelle édition, ont été considérées les thèses de doctorat préparées dans le cadre d'une université francophone et soutenues entre le 1er janvier 2007 et le 31 décembre 2008. Ces prix illustrent la volonté de l'ASTI de soutenir la recherche dans le domaine des STIC, dans toute sa diversité pluridisciplinaire et depuis les travaux fondamentaux jusqu'aux applications innovantes. L'objectif est de promouvoir les jeunes chercheurs francophones et de faire connaître leurs travaux à l'ensemble de la communauté des STIC, et par delà, à toute la communauté scientifique.

Le processus de sélection

En 2007, la présidente du Prix de thèse ASTI se réjouissait du nombre important de thèses de grande qualité et espérait qu'il en aille de même dans les années à venir. La période écoulée a confirmé la vitalité et la qualité des recherches dans notre domaine. Nombreuses sont les thèses auxquelles nous aurions souhaité pourvoir décerner un prix parmi les 93 dossiers qui nous sont parvenus : 38 dans la catégorie recherche fondamentale et 55 dans la catégorie recherche appliquée innovante.

En raison du nombre important de dossiers, le jury a procédé dans une première phase par élimination successive : 26 dossiers ont ainsi été sélectionnés pour une seconde phase sur des critères de conformité des candidatures, d'adéquation aux deux catégories de prix, d'excellence des rapports de thèse et de soutenance, enfin d'excellence des publications.

Chacun de ces dossiers a été examiné par au moins 5 membres du jury en vue d'une analyse approfondie. Je leur ai demandé de prendre en compte l'originalité et la singularité de la démarche, la qualité et la force
de la problématisation, l'impact du travail, son caractère transversal, l'excellence de la démarche scientifique, enfin la qualité de la présentation et de la rédaction.

Une mention spéciale
Le jury a alors tenu à décerner une mention spéciale au travail pionnier de Laetitia Souchon Foll. Cette thèse, qui relève des sciences économiques et des sciences de l'environnement, contribue à une meilleure compréhension de l'impact économique et environnemental des TIC. Débuté en 2005, ce travail a anticipé l'essor de la problématique de l'informatique verte, avant que l'on se rende compte que l'émission de CO₂ résultant des centres de calcul dans le monde dépassait l'émission individuelle de nombreux pays.

Les finalistes
C'est par consensus que nous avons retenu 5 dossiers dans la catégorie "recherche fondamentale" et 10 dans la catégorie "recherche appliquée innovante". Un premier vote a permis de réduire cette dernière liste aux cinq finalistes de la catégorie.

Les travaux des 5 finalistes retenus dans chaque catégorie nous ont paru d'un niveau scientifique remarquable, et je souhaite rendre public les noms de ces jeunes chercheurs. Il s'agit de Eric Fusy, Fabien Lotte, Damien Pous, Alexis Saurin et Herwig Wendt dans la catégorie "recherche fondamentale", et de Arshia Cont, Maxime Descoteaux, Nicolas Dobigeon, Sylvain Guilley et Sebastien Paris, dans la catégorie "applications".


Parmi ces finalistes, nous avons enfin désigné les candidats auxquels seront remis les 4 accessits et les 2 prix de thèse de l'ASTI. Cette désignation a fait l'objet d'un vote associant tous les membres du jury. Ce choix a été très difficile, et nous tenons à redire à quel point nous avons regretté de ne pouvoir récompenser tous les finalistes.

Le prix dans la catégorie recherche fondamentale

Dans la catégorie "recherche fondamentale", les accessits sont décernés à Eric Fusy pour son travail sur la combinatoire des cartes planaires et applications à l'algorithmique, ainsi qu'à Fabien Lotte pour son étude des techniques de classification et de traitement des signaux électroencéphalographiques pour l'utilisation d'interfaces cerveau-ordinateur dans des applications de réalité virtuelle.

Les travaux d'Eric Fusy sont au carrefour des mathématiques discrètes, des mathématiques continues et de l'algorithmique. La diversité des domaines abordés et les perspectives ouvertes par ses résultats sont remarquables. Je ne citerai en exemple que le meilleur (en termes de résolution) algorithme de dessin connu pour triangulations planes ou la génération aléatoire de graphes planaires de complexité quadratique, améliorant de 5 ordres de grandeur le meilleur algorithme connu jusque là.

A la croisée de l'informatique, du traitement du signal et des neurosciences, les contributions de Fabien Lotte ont permis d'améliorer la reconnaissance et l'interprétation des signaux EEG. Les applications qui en résultent font rêver et je vous invite à aller consulter les vidéos disponibles sur la page web de Fabien. Au-delà de
l'aspect ludique, ces recherches à long terme sur les interfaces cerveau-machine ont des applications potentielles dès aujourd'hui dans l'aide au handicap.

Le prix de thèse ASTI 2009 dans la catégorie "recherche fondamentale" est décerné à Alexis Saurin pour une étude logique du contrôle appliquée à la programmation fonctionnelle et logique.

Les travaux d'Alexis Saurin explorent la correspondance entre logique et calcul à travers la notion d'interaction. En particulier, ses résultats permettent de mieux comprendre le contenu calculatoire d'une preuve en logique classique ; ils introduisent de nouvelles techniques de recherche complète de preuve à partir de la notion de focalisation et aboutissent à une nouvelle machine abstraite pour la recherche interactive de preuve qui aura très certainement d'importantes applications pratiques dans les domaines du modèle checking, de la preuve automatisée et de la programmation logique. Le manuscrit, rigoureux et clair, n'hésite pas à accompagner certains passages très techniques par une réflexion de nature plus philosophique.


Le prix dans la catégorie recherche appliquée innovante

Dans la catégorie "recherche appliquée innovante", les accessits sont décernés à Arshia Cont pour son travail sur la modélisation de l'anticipation musicale et Sébastien Paris pour sa thèse qui s'intitule « caractérisation et modélisation des circulations de personnes dans les lieux d'échanges ».

Dans le cadre de la géométrie de l'information, qui relie apprentissage et géométrie différentielle, Arshia Cont a développé plusieurs modèles d'anticipation musicale. Il a su faire aboutir ses idées jusqu'à la réalisation de prototypes effectivement utilisés dans des applications d'analyse, d'improvisation et de suivi de partition. Ces prototypes, testés et utilisés par la communauté des musiciens, démontrent une maîtrise rare des développements scientifiques et des enjeux musicaux et artistiques.

Le travail de Sébastien Paris vise à simuler les mouvements d'une foule dans un environnement virtuel. Intégrant la modélisation du mouvement, du comportement humain et des interactions entre individus, les techniques développées sont génériques et permettent d'atteindre un degré de réalisme nouveau dans le domaine. Ces résultats ont été immédiatement utilisés pour évaluer l'architecture de lieux d'échanges
comme des gares.

Ses résultats, qui impliquent mathématiques appliquées, neurosciences et médecine, s'appuient sur des algorithmes innovants et des modules logiciels complexes permettant de reconstruire les faisceaux de fibres qui structurent la matière blanche du cerveau ou la moelle épinière. Originaux et novateurs, ces travaux ont déjà abouti à des contributions théoriques et méthodologiques validées avec des partenaires cliniciens. Au-delà de l'exploration de l'organisation du cerveau humain, les outils
développés présentent un important potentiel dans le diagnostic de maladies neuro-dégénératives.

En guise de conclusion

Nous félicitons très chaleureusement les vainqueurs et nous vous invitons à lire leur thèse. Les rapporteurs, les membres de leur jury et le jury de l'ASTI ont à chaque fois souligné la pédagogie, la clarté, la rigueur et l'esprit de synthèse des manuscrits.

A travers ce prix, je me réjouis que la recherche francophone ait produit un nombre important de thèses de grande qualité et je souhaite que le prix de thèse ASTI puisse s'ouvrir encore plus largement aux travaux effectués dans tous les pays francophones.

Le spectre des thèses examinées était particulièrement vaste et les travaux des finalistes ont bien montré les liens fondamentaux qui relient et tissent solidement tous les domaines des STIC : de l'informatique au traitement du signal et de l'image, des mathématiques discrètes à la théorie du contrôle. L'édition 2009 du Prix de Thèse ASTI illustre bien toute la nécessité et la fertilité de ces liens organiques. Il me semble important de le souligner au moment où les dispositifs français de recherche évoluent profondément.

Je voudrais terminer en remerciant tous les membres du jury pour le travail effectué, pour l'atmosphère amicale et la recherche de consensus qui a prévalu à toutes les phases du processus de sélection.

Enfin, le jury et l'ASTI remercient l'INRIA pour son soutien.