Prix RAI: Mohamed Selim Ben Himane

• Accessits: François Dang Ngoc et Nicolas Mansard

Prix RFT: Cédric Pralet

• Accessits: Antoine Spicher et Damien Stehle

Message de Catherine Garbay, présidente du jury

L’ASTI nous a confié le soin de décerner deux prix récompensant d’excellents travaux dans le domaine des STIC, préparés dans le cadre de thèses de doctorat d’une université française : un de ces prix devait concerner une recherche fondamentale et transversale impliquant plusieurs disciplines des STIC, et l’autre, une recherche appliquée innovante. Ces thèses devaient avoir été soutenues entre le 1er janvier 2005 et le 31 décembre 2006.

Le jury remercie l’ASTI de sa confiance, et souhaite expliciter en quelques lignes les raisons de son choix.

Mais auparavant, il se félicite du niveau scientifique auquel s’est située cette compétition. 93 dossiers de candidature lui sont parvenus (43 dans la catégorie recherche fondamentale, 50 dans la catégorie applications), et nombreuses étaient les thèses auxquelles nous aurions souhaité pourvoir décerner un prix.

La demande de l’ASTI n’était pas de faire un classement, mais de couronner un travail dans chaque catégorie ; en raison du nombre important de dossiers reçus,  nous avons procédé selon deux phases au cours desquelles chaque thèse a été examinée par trois membres du jury. 

Chaque membre du jury s'est vu attribuer une douzaine de dossiers lors de la première phase, avec pour mission de sélectionner un tiers d'entre eux. Lorsque des avis divergents me sont parvenus, j’ai demandé aux trois rapporteurs de se concerter pour prendre une décision consensuelle. Les critères utilisés lors de cette phase ont été 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. 

Nous avons ainsi retenu 33 dossiers  : 22 dans la catégorie "recherche fondamentale", et 11 dans la catégorie "application". Des critères différents ont été utilisés lors de la seconde phase de sélection, au cours de laquelle chaque membre du jury s'est vu attribuer un nombre de dossiers plus restreint (4 à 5 en moyenne), en vue d'une analyse approfondie. Parmi ces critères, citons 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.

Au terme de ce processus, 6 finalistes ont été retenus dans chaque catégorie, dont les travaux nous ont paru d’un niveau scientifique remarquable, et nous souhaitons rendre publics les noms de ces jeunes chercheurs. Il s'agit de Philippe Adjiman, Aurélie Beynier,  Christophe Lenglet, Cédric Pralet, Antoine Spicher et  Damien Stehle dans la catégorie "recherche fondamentale", et de Mohamed Selim Ben Himane, Fréderic Courteille,  François Dang Ngoc, Mathieu Jan, Nicolas Mansard, et Sylwia Ozdowska dans la catégorie "applications".

Parmi ces finalistes, nous avons enfin désigné les candidats auxquels seront remis les 2 prix de thèse de l'ASTI et les 4 accessits. 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.

Dans la catégorie "recherche fondamentale", le prix est décerné à Cédric Pralet, pour son travail intitulé "Un cadre algébrique général pour représenter et résoudre des problèmes de décision séquentielle avec incertitudes, faisabilités et utilités". La thèse de Cédric Pralet impressionne d’emblée par son ambition : il s’agit en effet de trouver un cadre général  pour aborder de manière unifiée la problématique de la décision séquentielle, par delà les finalités (modélisation du raisonnement, satisfaction de contraintes,  décision, planification…),  les formalismes (logique,  numérique, graphique) ou les algorithmes (programmation dynamique, recherche arborescente). Au fil de ses trois années de thèse, C. Pralet a acquis des connaissances dans des domaines très variés (décision stochastique, satisfaction de contraintes, planification, formules booléennes quantifiées, physique statistique…). S’attachant à comprendre profondément des sujets réputés distincts, il s’est efforcé de construire une vision qui les relie : au delà d’une grande maturité, C. Pralet fait preuve ici d’une belle vision de la science fondamentale. La vision proposée est d’une grande force, et le travail, de grande ampleur et d’une grande portée, se caractérise par une prise de risque importante. Il a été reconnu lors de la soutenance pour se situer plutôt au niveau d’une HdR, par sa très large couverture et son recul scientifique. La thèse comporte ainsi un nombre incroyable de résultats théoriques nouveaux (66 pages serrées de preuves données en annexe). Pour autant, le travail ne se cantonne pas dans une approche purement théorique : au contraire les conséquences et les prolongements en termes d’algorithmes et de structures de calcul sont soigneusement étudiés. Les motivations sont lumineuses, les développements conduits avec une grande cohérence. Les notations homogènes, rigoureuses, et astucieuses, permettent d’éviter certaines lourdeurs. Si le document est très dense, il est très bien structuré (fil conducteur et transitions toujours remarquablement visibles). La rédaction est nette, sans fioriture, mais comporte au passage beaucoup de remarques intéressantes. Une double rédaction soignée est proposée en anglais et en français.

Dans cette même catégorie, deux accessits sont décernés à Damien Stehle et Antoine Spicher. La thèse de Damien Stehle s'intitule "Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques". Aux frontières de l‘algorithmique et des mathématiques, ce travail s’est fait remarquer par son inventivité et son envergure. Il est accompagné par la réalisation de 3 logiciels, accessibles sous licence GPL. La thèse d'Antoine Spicher s'intitule "Transformation de collections topologiques de dimension arbitraire.  Application à la modélisation de systèmes dynamiques". Ce travail profondément transversal défend l'apport des mathématiques continues à une vision renouvelée de l'informatique, dans un contexte de passage à l'échelle.  Le travail  ouvre de vastes perspectives (développement de nouveaux supports de calcul, comme les calculateurs amorphes, qui se fondent sur les avancées de la biologie synthétique). Le logiciel MGS réalisé par le candidat est accessible sous licence GNU.

Dans la catégorie "applications", le prix est décerné à Mohamed Selim Ben Himane, pour son travail intitulé "Vers une approche unifiée pour le suivi temps réel et l’asservissement visuel". Le travail de thèse  de Mohamed Selim Ben Himane se situe dans le domaine de la commande référencée vision. Les méthodes classiques utilisent des techniques de vision et de commande qui ont été conçues séparément, avec pour conséquence une intégration « vision-commande » peu performante, peu flexible et source d’erreurs. C’est une problématique scientifique qui suscite actuellement de nombreux travaux du fait de l’importance des retombées potentielles (conduite automatique, observation et surveillance par des robots aériens, robotique médicale...) Le travail de M. S. Benhimane se distingue par la volonté d'intégrer dans une approche unifiée les techniques de la vision par ordinateur (géométrie projective, suivi visuel temps réel) et la théorie de la commande (asservissement visuel). Une solution originale est proposée (isomorphisme local entre fonction de tâche, attitude de la caméra et informations visuelles) qui permet pour la première fois dans le domaine de fonder le calcul de la commande sur des informations extraites des images.  Cette contribution a permis de lever une restriction importante des méthodes classiques, à savoir la connaissance sur la structure 3D de la scène. M.S. Benhimane a en outre développé un algorithme efficace de suivi temps-réel déposé à l’APP sous la forme d’un logiciel appelé « ESM visual tracking » et a conduit un important travail expérimental à l’appui de ses travaux. Plusieurs thèses portent sur l'approfondissement des travaux de M. S. Benhimane, et ceux-ci sont largement testés par des équipes de recherche dans le monde entier. Sur le plan industriel, Thales et la DGA évaluent actuellement le logiciel « ESM visual tracking », pour un transfert industriel. Enfin la thèse est bien présentée et très bien écrite. Elle fait preuve d’une très bonne rigueur scientifique.

Dans cette même catégorie, deux accessits sont attribués à François Dang Ngoc et Nicolas Mansard. La thèse de François Dang Ngoc s'intitule  "Sécurisation du contrôle d’accès pour des documents XML". L'auteur propose une vision très complète et très cohérente d'un problème difficile dans un contexte technologique récent, particulièrement mouvant. Une solution élégante est proposée. Son caractère innovant vient de son domaine d'application d'origine mais aussi de très nombreux domaines d'application envisageables (p.ex. SCA, assemblage de composants et/ou de services, etc.). La thèse de Nicolas Mansard s'intitule "Enchaînement de tâches robotiques". La contribution porte à la fois sur un modèle unifié en planification robotique et sur des propositions implémentées et très largement évaluées. L'impact des travaux est attesté par plusieurs applications sur trois plate-formes différentes. Le dossier défend une vision forte, soutenue par des résultats de qualité.

Nous nous réjouissons qu’au delà des vainqueurs, que nous félicitons chaleureusement, la recherche française ait produit en 2005 et 2006 un nombre important de thèses de grande qualité, et espérons qu’il en sera de même dans les années à venir.

Le jury et l'ASTI remercient l'INRIA pour son soutien.

Catherine Garbay, LIG Grenoble (président du jury)

Nelly Bensimon, LINC Paris

Luc Bougé, IRISA Rennes

Bertrand Braunschweig, ANR Paris

Sylvie Calabretto, LIRIS Lyon

Maxime Crochemore, IGM-LabInfo, Marne la Vallée

Anne Doucet, LIP6 Paris

Hélène Fargier, IRIT Toulouse

Serge Garlatti, GET/ENST Bretagne

Salima Hassas, LIESP Lyon

Jean-Paul Haton, LORIA Nancy

Mountaz Hascouet, LIRMM Montpellier

Daniel Kayser, LIPN Paris

Olga Kouchnarenko, LIFC Besançon

Jean-Marc Labat, LIP6 Paris

Wendy Mackay, LRI Orsay

Henri Maître, GET/Télécom Paris, LTCI

Frederic Semet, LAMIH Valenciennes

Claire Nedellec, INRA Jouy en Josas

Michel Riveill, I3S Nice

Patrick Siarry, LISSI Paris

Farouk Toumani, LIMOS Clermont-Ferrand

Louise Travé-Massuyès, LAAS Toulouse