Rapports pour tous les finalistes
Xavier Allamigeon, Adrien Bousseau, Stanley Durrleman, Jean-Baptiste Tristan, Sebastien Bubeck, Abdullatif Shikfa, Matthieu Josuat-Verges, Mohamed Faouzi Atig, Christine Tasson, Antoine Bordes, Ignasi Sau Valls.

Rapport de rapporteur allamige sur la candidature de Xavier Allamigeon (extérieur)

Situation de la thèse

Domaine de la thèse : Analyse statique de programmes, interprétation abstraite, algorithmique

Bref résumé des travaux de la thèse :

Définition d'un domaine abstrait permettant de calculer sur des propriétés d'inégalité entre expressions construites à partir de sommes et d'opérateurs maximum et/ou minimum. D'un point de vue fondamental, la thèse constitue une transposition à ces "polyèdres max-plus" de la théorie classique et de l'agorithmique des systèmes d'inéquations linéaires. Au plan des applications, le domaine construit permet d'analyser des propriétés des variables numériques d'un programme, constituées de telles inégalités d'expressions.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1. Allamigeon
2. Plateau

Commentaires libres

Des résultats mathématiques et algorithmiques impressionnants. Les publications sont conséquentes et de très bon niveau.

Rapport de Brigitte Vallee sur la candidature de Xavier Allamigeon (initial)

Situation de la thèse

Domaine de la thèse : vérification logicielle, combinatoire et algorithmique des polyedres MaxPlus

Bref résumé des travaux de la thèse :

La motivation principale de la thèse (la verification logicielle) conduit le candidat à travailler dans des algèbres MaxPlus, et à y utiliser l'analogue de polyedres convexes. Le candidat étudie donc les propriétés fines (combinatoires, algorithmiques) de ces objets, avec leurs différents types de représentation, et explique comment il est facile algorithmiquement de passer de l'un à l'autre. Il est alors, de nouveau, naturellement amené à travailler en algorithmique des hypergraphes orientés, pour y calculer les composantes fortement connexes maximales. Il faut ensuite refaire le chemin inverse, des hypergraphes aux polyèdres Maxplus, des polyèdres MaxPlus à l'interprétation abstraite.
Dans tous les domaines par lesquels le candidat passe, il obtient des résultats novateurs.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel
  3. Pluridisciplinarité

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Très bonne

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1/5

Commentaires libres

Le brio avec lequel les domaines s'ajustent, la qualité des résultats obtenus et la variété des domaines d'étude sont très impressionnants. La thèse est très bien écrite. Il y a aussi une partie plus logicielle et expérimentale qui complète l'équilibre du tout.
C'est une thèse exemplaire, par son cheminement, son originalité, son équilibre.

Rapport de Luc Bouge sur la candidature de Xavier Allamigeon (initial)

Situation de la thèse

Domaine de la thèse : Sémantique, interprétation abstraite, validation formelle de programmes

Bref résumé des travaux de la thèse :

L'interprétation abstraite et l'analyse statique sont un moyen de vérifier formellement la correction d'un programme. On approxime les opérations faites par le programme à l'aide d'encadrements qui contiennent toutes les valeurs possibles. Si le programme ainsi approximé valide sa spécification, alors le programme est correct.

Le problème est bien sûr d'obtenir la meilleure précision possible dans les encadrements, tout en gardant des systèmes d'encadrement sur lesquels on puisse faire les calculs nécessaires de manière raisonnable.

Depuis plusieurs années, on sait que les polyèdres convexes sont par exemple un bon choix, mais leur pouvoir expressif reste limité. On ne sait pas approximer de manière convenable des invariants non convexes. Pourtant, ces invariants apparaissent naturellement dans des programmes C, par exemple dès qu'il y a une recopie mémoire par la fonction memcpy.

La contribution de ce travail est de proposer une nouvelle classe de méthodes d'encadrement: les polyèdres "tropicaux" (c'est-à-dire linéaires dans une algèbre max-plus et non plus dans l'algèbre plus-mult classique).

Ce travail propose une contribution importante à l'algorithmique de ces objets qui avaient été jusque-là peu étudiés. Les algorithmes proposés sont très nettement meilleurs que les algorithmes connus.

D'autre part, ce travail propose une implémentation logicielle de l'ensemble des résultats et une étude expérimentale complète sur des programmes typiques qui n'étaient pas traitables auparavant: manipulation de chaînes de caractères en C, parcours de tableaux, etc.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Mon numéro 1.

Commentaires libres

Parcours: X-Corps Télécoms, MPRI mention TB, thèse CIFRE EADS+CEA en 3 ans juste, 9 mois à la Direction du budget, puis recrutement CR INRIA à Saclay, équipe MaxPlus (Stéphane Gaubert).

Journaux: Linear algebra and its applications (révisions mineures), Journal of combinatorial theory series A, Journal in computer virology (2008).

Confs: STACS 2010, SAS 2008, ESOP 2008.

Logiciel: TPLib: 5000 lignes Caml. Développements propriétaires chez EADS, 10.000 lignes Caml.

Très bon résumé. Rapport de soutenance excellent: clarté, rigueur, exemples bien choisis, démonstration en direct des prototypes, qualité des transparents, résultats d'expérimentation, profondeur des résultats: un modèle du genre.

Rapport de Halbwachs excellent: ensemble de contributions assez impressionnantes sur un sujet difficile, résultats majeurs, rigueur remarquable, tant au niveau des preuves que des évaluations de complexité. Le document devrait devenir une référence dans le domaine.

Rapport de Joswig, compétiteur direct: the approach is new, and the results obtained lead to considerable improvement overs previously known techniques, remarkable thesis, valuable scientific achievment.

Lettre de Éric Goubault: un futur grand chercheur du domaine sur la scène internationale.

Lettre de Gaubert: Excellent. Manuscrit irréprochable. Le travail de Xavier est pour moi l'idéal d'une thèse en informatique. Il est en effet exceptionnel que soient associées dans une thèse, à un tel niveau, des contributions appliquées, algorithmiques, mathématiques et enfin une implémentation "état de l'art" librement distribuée en cours d'exploitation dans un projet ANR.

Rapport de rapporteur bousseau sur la candidature de Adrien Bousseau (extérieur)

Situation de la thèse

Domaine de la thèse : Informatique Graphique / Rendu expressif / Synthèse d'images

Bref résumé des travaux de la thèse :

La thèse d'Adrien Bousseau présente un ensemble riche et cohérent de méthodes permettant de créer des images réalistes, simplifiées ou stylisées, le style de l'image étant fonction de la nature du message que veut transmettre leur créateur (par exemple, une image simplifiée amplifie le message en concentrant l'attention sur l'essentiel – illustrations anatomiques, par exemple). De tels algorithmes sont aujourd'hui essentiels pour développer des outils pour les artistes (grands utilisateurs d'Adobe Illustrator) ou pour ceux qui créent des jeux interactifs. Utiliser dans ce contexte des modes de rendu abstrait ou de type illustration peut être crucial pour immerger l'utilisateur dans un monde imaginaire ou féérique.
Une idées centrale pour une partie du travail d'Adrien Bousseau est de représenter la structure d'une image au moyen de ses contours et d'estimer l'importance de chacun de ces contours en tenant compte des acquis de la perception visuelle. Adrien Bousseau exploite de manière remarquable cette idée et en tire des outils logiciels extrêmement novateurs. Il introduit notamment une nouvelle primitive vectorielle, appelée courbe de diffusion, qui est une courbe dont chaque coté, gauche et droit, est colorié. En propageant les couleurs qu'il définit le long de ces courbes, l'artiste produit une image couleur d'une grande richesse. Les courbes de diffusion facilitent lenrichissement de dessins au trait avec des variations de couleurs complexes comme des effets dombrage ou de flou, ou la création d'images très belles dont le style se rapproche de celles produites par « aérographe ». Les courbes de diffusion permettent aussi de représenter des images réalistes dans un format vectoriel, ce qui reste un défi pour la plupart des primitives vectorielles existantes. En utilisant de tels outils, les artistes peuvent travailler de manière intuitive, comme sur un support papier, en représentant les structures principales des images sous forme de traits avant de les coloriser. L'approche suivie permet également la vectorisation automatique de photographies.
Une autre grande ligne de contributions issues du travail d'Adrien Bousseau concerne le problème de la cohérence temporelle de vidéos stylisées et des animations 3D. Dans les animations produites par ordinateur, les marques de style comme les pigments ou les coups de pinceau ne sont pas placées aléatoirement sur chaque image mais animées dune image à lautre. Ceci permet un meilleur contrôle de la cohérence temporelle mais soulève une contradiction : les marques de style doivent suivre le mouvement 3D des objets mais préserver leur apparence 2D. Lidée commune mise en oeuvre est que résoudre cette contradiction localement dans le temps est suffisant pour obtenir une illusion convaincante de cohérence temporelle. Avec un support temporel limité, la stylisation suit le mouvement 3D pendant suffisamment dimages pour produire une bonne perception du mouvement, mais est regénérée à intervalles réguliers pour éviter un éloignement de lapparence 2D. Adrien Bousseau propose deux méthodes, ici encore extrêmement novatrices, pour résoudre ce problème de cohérence.
La thèse d'Adrien Bousseau apporte enfin aussi des résultats importants et nouveaux dans le domaine de lédition dimages réalistes. Adrien Bousseau propose une nouvelle méthode pour estimer lillumination et la réflectance dune scène à partir dune seule photographie. La méthode repose sur une hypothèse forte : elle suppose que les variations locales de la réflectance sont dans des sous-espaces 2D en RGB. Les résultats sont excellents sur un ensemble convaincant de photographies vérifiant cette hypothèse. Celle-ci permet, en introduisant l'utilisateur "dans la boucle" de ramener la résolution du problème à celle dun système déquations qui peut être résolu de manière efficace. Lutilisateur doit annoter limage avec des petits traits indiquant des régions ayant le même éclairage ou la même réflectance, qui deviennent des contraintes dans le système déquations. La solution permet le réeclairage de la photo, ou des modifications de la texture. Il sagit dun problème extrêmement difficile ; la solution apportée est élégante et efficace, à la fois du point de vue de calcul et de la qualité des résultats.

La qualité remarquable et le nombre de résultats contenus dans la thèse sont attestés par les publications de premier plan qui en ont été tirées : trois publications au tout meilleur niveau mondial (SIGGRAPH 2007 et 2008, SIGGRAPH Asia 2009) et deux dans la conférence de référence dans le domaine du rendu non photoréaliste (NPAR 2006 et 2007).

Il est important de souligner aussi qu'une partie de ce travail a donné lieu à des collaborations avec des chercheurs travaillant chez Adobe et qu'un travail qu'Adrien Bousseau avait réalisé sur les textures solides dynamiques a, par ailleurs, été transféré et est utilisé en production par le "Studio Brocéliande".

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Les avis de Frédo Durand, Associate Professor au MIT (CSAIL) :
« He is the best French computer graphics researcher in the last ten years, and his dissertation is an impressive collection of important contributions. »
et de Maneesh Agrawala, Associate Professor, University of California, Berkeley (Department of Electrical Engineering and Computer Science) :
« I find Dr. Bousseaus thesis to be the strongest Ph.D. thesis I have seen within Comptuer Graphics in my 5 years as a Professor. »
illustrent bien le caractère exceptionnel de la qualité de cette thèse.

Rapport de Remy Malgouyres sur la candidature de Adrien Bousseau (initial)

Situation de la thèse

Domaine de la thèse : simplification et manipulation des images et vidéos, rendu non réaliste

Bref résumé des travaux de la thèse :

La thèse présente toute une série d'outils pour la simplification ou le re-rendu
stylisé des photographies et vidéos (basées entre-autres sur la détection et classification des contours par scale space, reconstruction d'un gradient par poisson, re-rendu de gradients,...). La manipulation avec cohérence temporelle de vidéos est aussi abordée.
Une deuxième partie traite diverses facettes du rendu non réaliste (rendu stylisé à base de textures 3D, mais aussi rendu dans le style "aquarelle",...) et re-rendu d'une photographie suite à détermination semi-automatique des images de réflectance et d'éclairement d'un photographie.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 25% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Très bonnes

Originalité des techniques utilisées : Classique

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Probablement (+0)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

La thèse présente un très grand nombre de techniques nouvelles qui ont été reconnues par la communauté comme de très bonne qualité.
Mon sentiment est qu'il s'agit souvent d'astuces brillantes utilisant des techniques mathématiques relativement simples.

Rapport de Caroline Appert sur la candidature de Adrien Bousseau (initial)

Situation de la thèse

Domaine de la thèse : Informatique graphique

Bref résumé des travaux de la thèse :

La thèse présente des algorithmes et des outils pour aider les utilisateurs à appliquer des effets de rendu "non-photoréalistes" (simplification, rendu de type aquarelle…) non seulement à une image isolée mais aussi à une image constituante d'un flux video – pour une image donnée, la méthode prend en compte l'estimation du flux optique à la fois "en amont" et "en aval" afin d'assurer une continuité dans une succession d'images.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

- Alexandrina Orzan, première auteure sur les publications sur les courbes de diffusion, était candidate l'an passé. Sa thèse avait été discutée parmi les 10 meilleures retenues. La thèse d'Adrien Bousseau semble supérieure en termes de réalisations. Les réalisations (publications et autres productions) sont exceptionnelles à l'échelle d'une thèse, comme le soulignent ses lettres de soutien qui proviennent du MIT et de Berkeley.

- C'est une thèse très aboutie dans le sens où toutes les contributions techniques sont rendues pratiques via des outils ou logiciels.
—> Appliquer un rendu aquarelle à :
* une image est faisable grâce à un tutoriel PhotoShop rédigé par Adrien Bousseau
* une vidéo est faisable grâce au logiciel GraphAnim né d'une collaboration avec les studios de dessin animé Brocéliande
—> L'édition et la manipulation de courbes de diffusion est faisable via un logiciel développé à 50% par Alexandrina Orzan et 50% par Adrien Bousseau. Des transferts industriels sont en discussion également.

Rapport de rapporteur durrlema sur la candidature de Stanley Durrleman (extérieur)

Situation de la thèse

Domaine de la thèse : Analyse des images médicales

Bref résumé des travaux de la thèse :

The PhD thesis of S. Durrleman is definitively one of the most impressive I get in touch with in the field of Medical Image Analysis. The manuscript is especially well written, proposing multiple levels of reading and efficient illustrations when required. Throughout the whole manuscript, the author is demonstrating a high level mastering of the mathematical concepts underlying his proposals. Each proposal is supported by meaningful experiments with real data covering an incredibly wide scope of medical imaging fields from various domains of brain imaging to lung and heart imaging. The author is even performing several experiments addressing evolutionary issues from paleoanthropology using endocasts and hominid skull profiles. Finally the author is putting forward the weaknesses of his models with a scientific humility that is increasing further
the attractiveness of his proposals.

While a first generation of work on the use of currents for registration had raised the interest of the community, it was far to be clear whether currents could become the basis of a unifying framework covering all the needs of biological shape analysis. The work of S. Durrleman leads to this ambitious proposal. The argumentation and the experiments supporting this proposal are
so convincing that this thesis is bound to influence most of the actors in the medical image analysis field. While the current framework has been successfully applied in the past to pairwise surface registration, a lot of building blocks were missing to build a complete statistical framework for shape analysis. In his thesis, S. Durrleman fills up all the gaps one by one. In particular, he is
designing mathematically well grounded approximation tools allowing the development of efficient algorithms that can be used massively as required by the statistical framework. He is also revisiting the implementation of the registration algorithm proposed in the past in order to extend its application to temporal regression, preparing the way to what I consider as the
masterpiece of his work, current-based statistical models of shape evolution.

Once all the building blocks have been set up, S. Durrleman develops a unifying vision for statistical models of shapes addressing at the same time the curve and the surface problem. Statistical shape model is a widely addressed issue in the field often leading to ad hoc modelling. Furthermore, this issue leads to endless discussions on the good balance between modelling deformation of a template and modelling residuals. No consensus has been reached yet except that the best strategy would be to model both. However, practical methods usually
focus on only one aspect, or address both aspects independently. A key point explaining the attractiveness of the thesis of S. Durrleman is the idea that currents can be an efficient way to merge both aspects in a consistent statistical framework. Current-based modelling indeed overcomes the topological difficulties disturbing alternative approaches when dealing with
curves or surfaces. In my opinion, this idea could be as efficient as the level set idea when dealing with snakes. The fact that the thesis proposes illustrations of the same modelling to incredibly different domains stands strongly in favour of this opinion.

As an expert of brain imaging, I am really seduced by the potential illustrated by the experiments with sulcal lines and fiber bundles. Most of the energy of the field has been dedicated to volume-based or surface-based representations. Attempts to perform consistent modelling of 1D features like sulcal lines or fiber bundles usually bounce back on the complexity of the underlying topological variability. While the author has not really experimented with all this complexity because of the nature of the data he has been provided with, his first experiments show that his framework can help to push the modelling further than usual. Furthermore, the possibility to combine without additional modelling cost all the 1D and 2D geometric features making up the brain shape and architecture is highly attractive. The last part of the thesis is addressing longitudinal studies and statistical models of shape evolutions. While this is the less mature part, as acknowledged by the author, this is probably
the part that will lead to the most innovative results, all the more that this part is embedding most of the potential of the framework. For instance brain modelling is becoming more and more a dynamical issue, to model either developmental or aging process. Very active fields like
the search for biomarkers of neurodegenerative diseases have shown that the power of longitudinal studies is much higher than the power of transversal studies. However, standard modelling of brain morphological dynamics is rather poor. Therefore, even if the authors modelling is still very simple compared to the underlying complexity, it is much more advanced than what I am aware of.

I am very impressed by the experiments with skull profiles. Having spent some time collaborating with various paleoanthropologists, I have been stuck by the fact that they often focus only on point-based Procrustean analysis, what is called Geometric Morphometrics. I think the framework proposed by S. Durrleman could contribute to reinterpretation of a lot of data and have a high impact in this field.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Rapport de Remy Malgouyres sur la candidature de Stanley Durrleman (initial)

Situation de la thèse

Domaine de la thèse : Reconnaissance de formes

Bref résumé des travaux de la thèse :

L'auteur apporte des outils pour le calcul numérique effectif et l'application de la théorie des courants pour évaluer la similarité entre formes géométriques (courbes, surfaces,...). Il développe ensuite une approche unifiée entre les métriques entre formes et les approches quantifiant les déformations d'une forme à l'autre. Cette approche permet de prendre en compte toute la variabilité de la forme, des changements globaux comme les élongations et compressions, mais aussi les changements plus locaux, changements de topologie… La thèse étudie aussi les évolutions de formes. Des applications sont présentées pour plusieurs problèmes très différents d'anatomie en imagerie médicale.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Cette thèse a le contenu le plus imposant.

Commentaires libres

La thèse est très bien rédigée et expose avec une clarté remarquables des notions difficiles.
Les résultats sont vraiment novateurs et profonds.

Rapport de Christian Michel sur la candidature de Stanley Durrleman (initial)

Situation de la thèse

Domaine de la thèse : Anatomie algorithmique en imagerie médicale

Bref résumé des travaux de la thèse :

Cette thèse développe une méthodologie générique pour l'analyse statistique d'ensembles de formes anatomiques extraites d'images médicales. La modélisation des formes par des courants permet de définir un cadre unifié pour l'analyse systématique d'ensembles de formes anatomiques, quelles soient données sous forme de courbes, de surfaces, de volumes, d'ensemble de points et quelque soit leur topologie.
L'étude approfondie de la représentation de primitives géométriques par courants discrets permet de définir un cadre théorique et algorithmique global rendant cette modélisation utilisable de façon automatique dans le cadre d'études de groupes et non plus seulement pour le recalage ponctuel entre deux structures anatomiques. Cette boîte à outils comporte, entre autre, de nouveaux schémas numériques basés sur des grilles régulières dont la vitesse de convergence, et donc l'utilisation, est indépendante des données traitées ainsi qu'une méthode d'approximation fondée sur la recherche de bases adaptées qui permet de limiter l'explosion combinatoire liée à l'utilisation massive de grands jeux de données.
Un cadre statistique rigoureux est proposé pour l'étude de la variabilité des structures anatomiques à partir d'exemples tirés dans une population. Cette méthode détecte des caractéristiques anatomiques communes aux différents sujets et décrit la diversité de leurs formes. De plus, pour la première fois, une modélisation conjointe de la variabilité géométrique (mesurée par des déformations régulières) et la variabilité de texture (mesurant des effets non difféomorphes comme la densité de fibres par exemple) est proposée.
Un nouveau cadre conceptuel est introduit pour l'analyse statistique de l'évolution de formes à partir de données longitudinales (chaque sujet est observé plusieurs fois dans le temps). La méthode exposée combine de façon originale les différences morphologiques entre sujets avec les variations de la dynamique de croissance propre à chaque individu. Cela permet de détecter de façon systématique des retards de développement entre des sujets ou entre des populations. Cette dynamique de croissance (et non seulement de la forme) permet de caractérisation des pathologies comme l'autisme.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel
  3. Pluridisciplinarité

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

4 RI: MIA (2 fois); Geochemistry, Geophysics, Geosystems; Neuroimage (révision mineure)
6 CI: MICCAI (4 fois), IPMI, ISBI

Logiciel exoShape

2008: Young investigator award, conférence MICCAI (New-York, USA)
2007: Student Travel Stipend, conférence MICCAI (Brisbane, Australia)
2004: Accessit de prix des stages doption de lX en mathématiques appliquées
2003: Médaille de bronze de la défense nationale

Points favorables:
– prise de risque scientifique en utilisant le concept mathématique récent des courants
– originalité de l'approche scientifique
– difficulté des travaux théoriques résolus
– impact des résultats en imagerie médicale et donc, en santé
– publications remarquables en qualité et en quantité

Rapport de rapporteur tristan sur la candidature de Jean-Baptiste Tristan (extérieur)

Situation de la thèse

Domaine de la thèse : Informatique

Bref résumé des travaux de la thèse :

voir mon rappprt de pre-soutenance

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Très bonne

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury :

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Il s'agit d'une excellente these qui a su saisir une question d'actualite et faire avancer les connaissances sur la technique de verification de resultats de compilation (plus simple que verifier le compilateur). Les publications issues de la these sont d'un niveau vraiment exceptionnel (2 POPL et 1 PLDI) pour un doctorant. La these ne cree pas en soi un domaine mais doone une base et des arguments tres convaincant pour poursuivre le developpement d'une mouvance au croisement de la compilation et la certification.

Rapport de Beatrice Berard sur la candidature de Jean-Baptiste Tristan (initial)

Situation de la thèse

Domaine de la thèse : Vérification formelle d'optimisations pour des compilateurs

Bref résumé des travaux de la thèse :

Les travaux de thèse abordent le problème de la vérification automatique d'optimisations pour les compilateurs : lorsque la correction d'un compilateur est prouvée, comment obtenir ensuite des résultats sur la correction d'optimisations, sans avoir à refaire toute la preuve. L'approche utilisée est celle de la validation de traduction, qui est un problème indécidable en général. Les preuves de correction sont obtenues dans ce cas en raisonnant directement sur les validateurs, qui comparent une source et sa traduction. Cette approche est appliquée ici avec succès à plusieurs catégories d'optimisations, certaines pouvant influencer les programmes de manière globale, par opposition aux optimisations localisées dans une fonction, par exemple. Les algorithmes de validation reposent sur l'analyse de flots de données et l'évaluation symbolique.
Le travail est complété par des expérimentations qui utilisent l'assistant de preuve Coq et visent en particulier le compilateur Compcert C.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Très bonnes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Très bonne

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Parmi les 4 thèses que j'ai lues, je classerais dans l'ordre suivant :
1) Jean-Baptiste Tristan
2) Christine Tasson
et à égalité Mathieu Tracol et Ylies Falcone

Commentaires libres

Rapport de Philippe De Groote sur la candidature de Jean-Baptiste Tristan (initial)

Situation de la thèse

Domaine de la thèse : Compilation certifiée, validation de logiciels, méthodes formelles.

Bref résumé des travaux de la thèse :

La thèse du candidat s'inscrit dans le cadre de la compilation certifiée. Plus particulièrement, elle concerne des phases d'optimisation par transformation de code intermédiaire. Plutôt que d'établir formellement la correction des modules d'optimisation (dont les algorithmes peuvent être très complexes), le candidat développe des programmes de validation (réalisés en Ocaml) permettant de vérifier à chaque application d'un module d'optimisation que le code généré est sémantiquement équivalent au code de départ. Cette approche présente un double avantage: d'une part, les algorithmes de validation sont plus simples que les algorithmes d'optimisation (il est donc plus facile de prouver leur correction), d'autre part, un changement d'algorithme au niveau du module d'optimisation ne nécessite pas forcément une adaptation au niveau du module de validation. Un des points forts de ce travail (qui en constitue une originalité) est que la correction des modules de validation développés a été formellement établie (en Coq). Il est important de souligner que les techniques d'optimisation validées ne correspondent pas à des cas d'école mais à des modules d'optimisation réels et complexes (ordonnancement de listes, ordonnancement de traces, déplacement de code, fusion de boucles…). En effet, cette thèse s'inscrit dans le cadre du développement du compilateur certifié CompCert, auquel seront intégrés les logiciels de validation développés par le candidat.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Très bonne

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1. Tristan
2. Razet
3. Christophe, Falcone

Commentaires libres

Rapport de rapporteur bubeck sur la candidature de Sebastien Bubeck (extérieur)

Situation de la thèse

Domaine de la thèse : Prédiction séquentielle avec information partielle et clustering.

Bref résumé des travaux de la thèse :

Cette thèse traite de diverses questions liées à la prédiction séquentielle et au clustering.
Les résultats originaux commencent avec le chapitre 3 qui présente deux algorithmes nouveaux pour les jeux de bandits stochastiques et d'autres situations de prédiction séquentielle, dont l'analyse permet de dégager
de nouvelles bornes minimax dans certains scénarios.
Le chapitre 4 aborde l'étude des bandits à espace de bras continu et propose un nouvel algorithme minimax sous des hypothèses d'entropie métrique.
Le chapitre 5 est consacré à la prédiction en boucle ouverte d'un critère escompté
et propose ici encore un algorithme ayant des propriétés minimax intéressantes.
Le chapitre 6 aborde la minimisation du regret simple par des stratégies d'exploration pure dans des modèles de bandits.
Le chapitre 7 poursuit l'étude du regret simple en proposant deux algorithmes
asymptotiquement presque optimaux pour l'identification du meilleur bras, dont l'un ne dépend d'aucun paramètre inconnu (moyennant la perte d'un facteur logarithmique dans la vitesse de convergence).
Les chapitres 8 et 9 traitent d'une question différente, le clustering,
présentant pour l'un un algorithme consistant de minimisation d'un critère de clustering vérifiant des hypothèses génériques, et pour l'autre une étude de la stabilité de l'algorithme des k-means, vue comme un moyen d'estimer le nombre de centres.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 25% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

Qualité et originalité des résultats obtenus : Très bonnes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Très bonne

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Très bonne

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Probablement (+0)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Sans objet

Commentaires libres

La thèse de Sébastien Bubeck révèle un jeune chercheur très prometteur et très actif.

Rapport de Laurent Bienvenu sur la candidature de Sebastien Bubeck (initial)

Situation de la thèse

Domaine de la thèse : apprentissage automatique, "online learning"

Bref résumé des travaux de la thèse :

La thèse de Sébastien Bubeck s'intéresse aux jeux de bandits (randomisés). Dans un jeu de bandits, un joueur fait le choix d'un bras parmi K, reçoit une récompense randomisée selon le bras choisi, et répète ceci pendant n tours. Le but est de maximiser l'espérance de gain du joueur, ce qui implique de trouver un bon équilibre entre test des différents bras et exploitation des bras les plus prometteurs. Cette thèse étudie ce problème et résoud de nombreuses questions ouvertes associées.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1. Sébastien Bubeck
2. Mathieu Josuat-Vergès

Commentaires libres

Thèse vraiment très bien rédigée: exposé clair, motivé. Les résultats prouvés semblent majeurs et avec de fortes retombées pratiques potentielles. Sans doute ma préférée parmi les cinq thèses qui m'ont été attribuées.

Rapport de Arshia Cont sur la candidature de Sebastien Bubeck (initial)

Situation de la thèse

Domaine de la thèse : apprentissage automatique, bandit games, online learning, clusterin

Bref résumé des travaux de la thèse :

La thèse de M. Bubeck porte sur l'aspect théorique d'apprentissage automatique; et en revisitant des problèmes de base et classique du domaine telle que "nearest neighbour clustering" et "bandit games". La première partie de la thèse contribue à l'analyse du jeu du bandit et de ses variantes. En particulier l'accent est mis sur le développement de stratégies ayant un comportement optimal du point de vue statistique. La deuxième partie étudie le problème classique du clustering tout en proposant des avancés théoriques pour améliorer les espaces de recherche et optimisation.

La recherche effectuée par M. Bubeck semble attirer beaucoup d'attention dans la communauté théorique d'apprentissage automatique COLT (Computational Learning Theory).

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 25% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Très bonne

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Normal

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je ne défendrais que modérément mon appréciation, ce travail est très loin de mes préoccupations scientifiques et je n'ai qu'une confiance modérée en cette appréciation.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Ceci est une thèse très théorique. J'apprécie l'impact de reformulation des problèmes simple et son approche également simple et compréhensive.

Commentaires libres

Rapport de rapporteur shikfa sur la candidature de Abdullatif Shikfa (extérieur)

Situation de la thèse

Domaine de la thèse : sécurité des réseaux; réseaux; cryptographie

Bref résumé des travaux de la thèse :

Le travail de thèse de Mr Shikfa porte sur la sécurité de la transmission au sein de réseaux dits opportunistes. Pour ceux-ci, il n'existe pas de connexion permanente entre les systèmes terminaux. Deux modes de transmission sont considérés: un comparable à une transmission réseau en point à point et l'autre analogue à une transmission en multicast. La transmission de l'information dans ces réseaux est rappelée dans un état de l'art qui permet de mieux comprendre les enjeux et les défis à relever afin d'assurer la sécurité des réseaux opportunistes. Par sécurité on comprend les propriétés de confidentialité, de certains aspects du respect de la vie privée (enfin, privacy en anglais), et d'une garantie de bon fonctionnement.

Mr Shikfa utilise des outils théoriques et algorithmiques évolués pour assurer la sécurité dans ces réseaux. Il utilise et adapte à ses besoins un mécanisme d'IBE (Identity Based Encryption) multiple dont il prouve la sécurité sémantique, ainsi que divers "outils" issus de résultat récents de cryptographie sur les courbes elliptiques. Il utilise à bon escient les filtres de Bloom avec compteur pour garantir le bon fonctionnement de certains protocoles et effectue toute une étude probabiliste pour estimer les chances de succès d'un attaquant.

Ce travail s'intègre dans le cadre du projet Européen Haggle et une partie du travail de recherche de Mr Shikfa a été intégré dans le prototype.

Enfin, les solutions de Mr Shikfa peuvent certainement être employées à d'autres fins que celle des réseaux opportunistes. Une (grosse) partie de son travail pourrait être utilisable pour assurer certains services de sécurité au sein de réseaux pair à pair non structurés, ce qui est encore un peu un défi de nos jours.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Fort transfert industriel potentiel
  2. Pluridisciplinarité

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Très bonne

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Très bonne

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Personnellement, je trouve qu'il s'agit d'un travail important qui va de l'utilisation et de l'adaptation de chiffres compliqués jusqu'à une implémentation. Toute la chaîne de sécurité est prise en compte et étudiée. Le spectre du travail est très large et Mr Shikfa fait preuve de recul sur son travail.

Pour le reste, je ne vais pas répéter le rapport de thèse…

Rapport de Andre-Luc Beylot sur la candidature de Abdullatif Shikfa (initial)

Situation de la thèse

Domaine de la thèse : Sécurité Réseaux

Bref résumé des travaux de la thèse :

Le candidat s'est intéressé à la sécurisation des transmissions dans les réseaux opportunistes.

Il s'est attaqué successivement à la sécurisation des transmission fondées sur le contexte puis à la sécurisation des transmissions fondées sur le contenu.

Le travail est donc original pour les trois contextes réseaux retenus : réseaux opportunistes, 2 types de transmission et pour les propositions effectuées dans le domaine des protocoles pour la sécurité.

Les analyses sont soigneusement menées.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Pluridisciplinarité

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Classique

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Très bonne

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Probablement (+0)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1er/2
(attention pas spécialiste de la thèse de T. Ropars)

Commentaires libres

Le manuscrit est un peu long ce qui nuit à la mise en valeur des principales contributions.

Le domaine des communications opportunistes était très en vogue en 2006–2007 (au début de la thèse) c'est peut-être un peu moins vrai aujourd'hui.

Propositions très nombreuses, très variées avec beaucoup de compétences sur tous les domaines abordés.

Rapport de Isabelle Ryl sur la candidature de Abdullatif Shikfa (initial)

Situation de la thèse

Domaine de la thèse : Sécurité ; réseaux ;

Bref résumé des travaux de la thèse :

Les travaux présentés dans cette thèse concernent la sécurité dans les réseaux opportunistes. Les travaux abordent différentes propriétés essentielles mais très difficiles à établir dans ce contexte : confidentialité, respect de la vie privée, coopération. Lauteur propose différents protocoles sécurisés prenant en compte les propriétés recherchées. Il sagit de sujets difficiles et les travaux présentés sont conséquents. Ils sont à la fois théoriquement fondés en mettant en uvre de la cryptographie, les fondements des réseaux et pratiques car nécessitant de prendre en compte les aspects dimplantation. Ils sont de plus évalués.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Rapport de rapporteur josuatve sur la candidature de Matthieu Josuat-Verges (extérieur)

Situation de la thèse

Domaine de la thèse : combinatoire en interaction avec la physique statistique

Bref résumé des travaux de la thèse :

La thèse de Matthieu Josuat-Vergès se situe à la rencontre de trois courants fort actifs de la combinatoire énumérative, en liaison avec des considérations provenant de la physique. Le premier est létude combinatoire des polynômes orthogonaux. Le deuxième courant, plus récent, est létude combinatoire du modèle appelé PASEP (pour «partially asymmetric exclusion process»). Ce modèle est très connu et très étudié en physique des systèmes dynamiques loin de léquilibre. Le troisième courant est létude combinatoire dobjets appelés «tableaux», en particulier le classique placement de tours sur un diagramme (de Young), ou encore les "tableaux de permutations" («permutation tableaux») introduits par A.Postnikov
M.Josuat-Vergès sest lancé sur ce sujet chaud et hautement compétitif de la combinatoire énumérative daujourdhui, à la rencontre de ces trois courants, domaine déjà très fouillé par de nombreux auteurs. Il est remarquable quil obtienne de nombreux nouveaux résultats, allant au delà de ses prédécesseurs, donnant souvent pour la première fois des preuves bijectives de formules complexes, des interprétations combinatoires nettement plus simples que celles connues auparavant, en particulier des interprétations combinatoires des probabilités stationnaires du modèle PASEP des physiciens.
Voir mon rapport de thèse pour le détail des principaux résultats.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Pluridisciplinarité

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Par le sujet pluridisciplinaire, couvrant des considérations allant de la combinatoire énumérative et algorithmique à la physique des systèmes dynamiques en passant par lanalyse classique des fonctions spéciales et séries hypergéométriques, M.Josuat-Vergès montre létendue de sa culture.
Le travail de M.Josuat-Vergès est marqué du signe de lexcellence. A mon avis, sa thèse fait partie des meilleures thèses en Europe ou en Amérique du Nord que jai connues ou eu à arbitrer. Elle a donné lieu à plusieurs publications dans des revues internationales, ainsi que de nombreuses communications dans des congrès nationaux et internationaux.

Rapport de Brigitte Vallee sur la candidature de Matthieu Josuat-Verges (initial)

Situation de la thèse

Domaine de la thèse : Combinatoire (énumérative et bijective)

Bref résumé des travaux de la thèse :

Cette thèse est centrée sur la combinatoire des tableaux et du PASEP (modèle-clé en physique statistique), en liaison avec la combinatoire des polynômes orthogonaux. C'est un domaine déjà très fouillé où le candidat obtient de nombreux nouveaux résultats, donne parfois pour la 1e fois des preuves bijectives de formules complexes, ou des interprétations combinatoires nettement plus simples que dans l'existant. Il démontre des conjectures établies par des auteurs reconnus internationalement.
En conclusion, les apports de la thèse rendent ce domaine de la combinatoire beaucoup plus "lumineux".

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

2/5

C'est une excellente thèse, avec des résultats fins et difficiles, et d'excellentes publications. Je la juge cependant moins exemplaire et plus "conformiste" que celle d'Allamigeon, même si elle démontre plus de virtuosité
technique.

Commentaires libres

Rapport de Laurent Bienvenu sur la candidature de Matthieu Josuat-Verges (initial)

Situation de la thèse

Domaine de la thèse : Combinatoire

Bref résumé des travaux de la thèse :

Cette thèse est une contribution à l'étude combinatoire des tableaux de Young et du modèle PASEP. Mathieu Josuat-Vergès y donne de nombreux résultats nouveaux, au moyen de diverses techniques et outils, parmi lesquels les polynômes orthogonaux et la méthode bijective (la seconde permettant de compter une classe d'objets en la mettant en bijection avec une autre classe, mieux étudiée ou comprise).

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Classique

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1. Sébastien Bubeck
2. Mathieu Josuat-Vergès

Commentaires libres

Sans aucun doute une excellente thèse, une bonne partie des travaux ont été menés de manière indépendante. Un candidat sérieux au prix Specif.

Sur la forme, on pourra cependant reprocher au document de thèse d'être écrit dans un style sec. Par exemple un des principaux objets d'étude, le modèle PASEP, censé modéliser des phénomènes physiques, est introduit de façon abrupte, sans donner la moindre idées des phénomènes qu'il est censé modéliser. De même, certaines sections commencent par un théorème! (voir p 60)

Rapport de rapporteur atig sur la candidature de Mohamed Faouzi Atig (extérieur)

Situation de la thèse

Domaine de la thèse : Vérification automatique appliquée aux programmes récursifs et concurrents

Bref résumé des travaux de la thèse :

Les contributions de la thèse sont développées dans les chapitres 4, 5, 6 et 7. Voici un résumé de ces contributions dans ces chapitres.

Dans le chapitre 4, Mr. Atig propose un nouveau modèle de réseaux dautomates à piles communicants où les piles sont ordonnées et les opérations sur ces piles sont restreintes par lordre. Il montre que ce modèle possède des problèmes de vérification décidables et quil est strictement plus expressif que les modèles proposés précédemment dans la littérature.

Dans le chapitre 5, le candidat étudie les réseaux de systèmes à pile concurrents avec création dynamique de processus. Ce modèle permet donc la modélisation de programmes qui autorisent les appels récursifs mais également la création dynamique de processus (multi-threaded programming). Ce modèle est ambitieux car il est infinis sur deux dimensions: chaque processus à une pile non bornée et le nombre de processus (threads) est également non borné. Pour obtenir des résultats de décidabilité dans ce contexte, il est nécessaire de borner le nombre de fois quun thread est re-activé (context switch). Néanmoins, vu la possibilité de créer dynamiquement un nombre non borné de threads, le nombre de context-switch (mise en veille dun thread et activation dun autre) est non-borné pour le système. Cet aspect est nouveau par rapport aux modèles étudiés dans la littérature.

Dans le chapitre 6, Mr. Atig étudie des réseaux dautomates à piles qui communiquent à laide de canaux FIFO. Le modèle est « Turing complet » si on considère que les canaux de communication sont parfaits. Par contre, il devient décidable si les canaux sont à pertes et la topologie de communication est acyclique. Pour établir ce résultat, il faut combiner des techniques danalyse des automates à piles (procédure de saturation) et des techniques basées sur les quasi-beaux ordres issus de la théorie des automates FIFO à pertes. Plusieurs résultats théoriques sont établis sur des variantes de ce modèle (topologie de communication acyclique, topologie qui peut changer dynamiquement, canaux sans ordre, etc).

Dans le chapitre 7, le candidat étudie une formalisation originale des modèles de programmes concurrents avec mémoire faible. Les mémoires faibles sont aujourdhui de plus en plus utilisées dans le cadre des processeurs « multi-core » et ce malgré la complexité de leur sémantique et le peu de travail théorique qui existent pour raisonner sur la correction des programmes exécutés avec ces mémoires. Le candidat propose dabord une sémantique aux mémoires faibles à laide de tampons où les écritures sur la mémoire peuvent être stockées avant exécution. Ce modèle est élégant et constitue un excellent modèle formel de la sémantique ces mémoires faibles. Ensuite, Mr. Atig montre que le modèle peut être simulé à laide dun produit dautomates à files avec perte. Cette réduction au modèle des automates à files avec perte est à nouveau ingénieuse. Elle permet de montrer que le problème datteignabilité dans les programmes concurrents avec types finis de données et mémoire faible est décidable. Aucun résultat nétait connu pour les problèmes de vérification dans ce modèle de mémoire. Le candidat montre également que le modèle de programmes considéré permet également de simuler les automates à file avec pertes. Ce résultat est à mon sens assez inattendu. Il a des conséquences importantes : le problème datteignabilité dans le modèle considéré a une complexité qui nest pas primitive récursive et le problème datteignabilité répétée est lui indécidable.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Très bonne

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

La thèse de Mr. Atig propose plusieurs contributions importantes et difficiles. Cest un travail dune qualité exceptionnelle. Ce travail de recherche a déjà été concrétisé par une importante liste de publications internationales dans les meilleures conférences du domaine de recherche concerné (POPL, TACAS, CONCUR, ...). Ces publications nombreuses et dans des conférences de très haut niveau est un indice important de la grande qualité de cette thèse.

Je suis convaincu que les travaux de Mr. Atig auront un impact important sur les recherches futures en vérification assistée par ordinateur pour les programmes concurrents. Le chapitre sur les mémoires faibles est assurément une contribution particulièrement importante à ce sujet difficile et actuel.

Je pense que la thèse de Mr. Atig a toutes les qualités nécessaires pour être couronnée par un prix prestigieux. Je suis convaincu également que Mr. Atig fera une brillante carrière scientifique.

Rapport de Pascal Sainrat sur la candidature de Mohamed Faouzi Atig (initial)

Situation de la thèse

Domaine de la thèse : Vérification de programmes concurrents

Bref résumé des travaux de la thèse :

Etude de plusieurs nouveaux modèles qui peuvent servir à l'analyse de programmes concurrents. Preuves de décidabilité de sous-classes de systèmes d'automates à pile élégantes.

Travail précurseur sur le modèle de consistance mémoire relâchée TSO.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Rapport de Jean Goubault-Larrecq sur la candidature de Mohamed Faouzi Atig (initial)

Situation de la thèse

Domaine de la thèse : Model-checking

Bref résumé des travaux de la thèse :

Trois contributions. (1) une etude de la complexite de la vacuite des
"ordered multi-pushdown automata" (OMPA), et relation avec un modele similaire
avec changements de contextes bornes; (2) une etude de la decidabilite/
indecidabilite des questions d'accessibilite dans les reseaux acycliques
d'automates pushdown; (3) le model-checking pour les systemes a modele
memoire faible.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Classique

Qualité de la rédaction : Très bonne

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Atig > Plateau > Lemerre > Nguyen.
(Oui, mon avis a changé, après réflexion et discussions.)

Commentaires libres

(Attention, je n'ai en gros lu que l'introduction, et survole le reste. Mais je connais assez bien ses travaux par ailleurs.)

C'est du "model-checking theorique", c'est-a-dire cette frange de model-checking
ou l'on n'implemente rien——de toute facon la complexite est trop haute.
(J'exagere un peu: TReX est un outil implemente au LIAFA, pour un probleme
dont la complexite est prouvablement non-primitive recursive, et en plus
par une procedure qui peut ne pas terminer. Et ca marche.)
Une autre facon de le dire est que c'est de la theorie de la calculabilite/
complexite appliquee a des modeles de comportements logiciels ou materiels
qui arrivent en pratique. (Ce qui est typique du LIAFA, ainsi que de mon
propre labo, le LSV.)

Comme je l'ai dit plus haut, il y a en gros 3 parties. Les deux premieres
(qui forment la partie I de la these), c'est du classique. On prend des
modeles de calcul parallele Turing-complets, et on se demande quelles
restrictions on peut mettre pour que leur verification devienne decidable.
On fait du Presburger, des automates, et des beaux préordres (recettes qui
marchent souvent), et ca marche. On caracterise la complexite (2ETIME-complet,
ca se voit rarement, au passage). Mais tout ca ne justifierait pas du prix
Gilles Kahn.

En revanche, la troisieme partie, sur les modeles memoire faibles, c'est
genial. Je considere que c'est un travail pionnier dans le domaine (et
je l'ai dit dans une soumission recente d'un papier avec un etudiant
en these, sur les memoires faibles aussi).

Une chose etonnante: les modeles memoire faibles existent depuis au moins
30 ans, mais c'est Atig le premier a avoir propose des methodes de
verification pour ces systemes. Tous les autres font comme si (et souvent
meme le croient) que les architectures paralleles sont sequentiellement
consistantes, c'est-a-dire que leur execution est equivalente a un certain
entrelacement des actions de chaque processus mis en parallele (ce qui est
faux).
De plus, Atig a un resultat etonnant: sa version du modele TSO (total
store ordering, qui est en gros ce que font les processeurs x86) est
equivalente (par deux codages en sens inverses) du probleme de couverture
des systemes de canaux a perte——un probleme que l'on savait decidable
depuis les travaux de Bouajjani (son directeur de these) entre autres.
Il montre que TSO se caracterise de deux facons differentes (par des
write buffers, ou par une relaxation de l'ordre des lectures/ecritures),
ce qui eclaircit bien des points.
Ensuite, il creuse: PSO est aussi decidable, mais TSO ou PSO plus d'autres
relaxations ne l'est plus sauf si l'on borne le nombre d'ecritures retardees,
etc.

Excellent dossier de publications.

La redaction est correcte, dans un style mathematique standard (definitions,
lemmes, theoremes, des discussions qui saupoudrent le tout, et de temps
en temps un exemple illustratif).

Note ajoutee:
j'étais au départ un peu tiède sur cette thèse, mais après mure réflexion,
c'est clairement la meilleure thèse que j'ai vue parmi les 4 que je devais
lire. Le domaine et les résultats d'Atig sur les modèles mémoire faible
m'étant particulièrement familier, ils m'ont semblé moins surprenants sur
le coup que d'autres thèses pourtant moins innovantes.

Rapport de rapporteur tasson sur la candidature de Christine Tasson (extérieur)

Situation de la thèse

Domaine de la thèse : théorie de la démonstration, informatique fondamentale

Bref résumé des travaux de la thèse :

Cette thèse étudie les interprétations de la logique linéaire dans des structures provenant de l'algèbre linéaire et de l'analyse fonctionnelle. Ce n'est que très recemment, avec les travaux de Thomas Ehrhard sur les espaces de finitude, que l'on a pu obtenir des modèles sémantiques de la logique linéaire basés sur la notion d'espace vectoriel topologique, qui joue pourtant un rôle central dans les mathématiques modernes. Les travaux d'Ehrhard ont porté à la définition de nombreuses extensions "différentielles" de la logique linéaire et du lambda-calcul qui, à cause de leur grand potentiel théorique, constituent à l'heure actuelle le terrain où se concentre l'attention de la plus part des chercheurs en logique linéaire.

La première contribution da la thèse concerne la théorie des espaces de finitude. Christine Tasson développe un projet de recherche très ambitieux, visant à abstraire le travail d'Ehrhard pour le rapprocher encore plus de la théorie des espaces vectoriels topologiques. Le projet est fondé sur l'idée de remplacer les espaces de finitude par une classe plus large d'espaces vectoriels topologiques, introduits dans les années 40 par Solomon Lefschetz. Je veux ici souligner l'extrême difficulté technique de cette tâche: les espaces de Lefschetz sont assez << exotiques >> par rapport aux espaces habituellement étudiés en analyse fonctionnelle ; il y a très peu de litérature les concernant, la plus part des résultats doivent être prouvés pratiquement à partir de zéro (je signale que, par exemple, certains des résultats obtenus par Christine Tasson sont l'équivalent de résultats classiques démontrés par Alexander Grothendieck sur les espaces localement convexes) et, en outre, il s'agit de trouver ensuite la bonne manière d'appliquer ces résultats à la théorie de la démostration. Il n'est donc pas étonnant si ce programme n'est pas achevé dans la thèse: au contraire, je crois que dans ce cas la qualité de cette oeuvre doit être jugée aussi en considerant les questions qu'elle laisse ouvertes, qui, je suis sûr, alimenteront la recherche dans ce domaine pendant les années à venir.

Les autres contributions de la thèse concernent le rapport entre syntaxe et sémantique de la logique linéaire différentielle et des systèmes de calcul qui lui sont reliés : un résultat de pleine complétude pour le lambda-calcul baricentrique, basé sur une notion de totalité dans les espaces de finitude ; un résultat, en collaboration avec Michele Pagani, concernant l'étude syntaxique de l'expansion de Taylor, qui utilise de techniques combinatoires et de théorie de la réécriture, sans doute plus << classiques >> dans le contexte de la théorie de la démonstration ; et un travail en collaboration avec Paul-André Melliès et Nicolas Tabareau, portant sur la sémantique catégorique de la logique lineáire et sur la construction de comonoïdes libres dans une catégorie monoïdale.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Classique

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Très bonne

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

En qualité de membre du jury de thèse de Christine et en tant que membre de sa même communauté scientifique, je connais assez de près les travaux développés dans cette thèse. Je tiens ainsi à souligner que, à part les contributions originales décrites dans le résumé ci-dessus, la thèse de Christine constitue aussi une sorte d'<< encyclopédie >> sur les espaces de Lefschetz ; si l'on pense que la quasi totalité de la litérature existante sur ce sujet, déjà si rare, n'est nullement destinée à un lecteur intéressé aux applications de ces structures à la théorie de la démonstration, on se rend compte de la valeur additionnelle offerte par l'oeuvre de Christine. Ma prévision est que, dans le futur, ce texte deviendra une des références clé pour les chercheurs travaillant dans le domaine (personnellement, le premier chapitre est déjà devenu une de mes références essentielles sur le sujet…).

Rapport de Daniel Hirschkoff sur la candidature de Christine Tasson (initial)

Situation de la thèse

Domaine de la thèse : sémantique, théorie de la démonstration, logique, lambda-calcul

Bref résumé des travaux de la thèse :

C. Tasson a travaillé sur la logique linéaire différentielle, un raffinement de la logique linéaire qui a été introduit récemment par T. Ehrhard et L. Regnier.

Une partie des contributions de la thèse porte sur l'étude des modèles sémantiques de la logique linéaire, en se concentrant sur les espaces de finitude:
– elle montre comment interpéter des structures de données dans les espaces de finitude,
– elle analyse en quoi une construction catégorique, due à Melliès et Tabareau, ne peut s'appliquer dans les espaces de finitude,
– elle propose une étude détaillée des espaces de Lefschetz, à partir de laquelle elle introduit une notion "à mi-chemin" entre espaces de finitude et espaces de Lefschetz qui donne un modèle de la logique linéaire.

Dans une partie plus "syntaxique", C. Tasson introduit
– le lambda-calcul barycentrique, qui est une syntaxe permettant de décrire les termes totaux dans la syntaxe différentielle;
– un algorithme permettant de reconnaître si un ensemble fini de réseaux différentiels est le résultat de l'expansion de Taylor d'une preuve en logique linéaire.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 25% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Très bonnes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Cette thèse est excellente: elle traite de questions récentes en théorie de la démonstration, et présente un ample florilège de contributions profondes. J'aurais cependant tendance à la classer un tout petit peu en retrait par rapport aux thèses de J.Pilaud et Q.Merigot, mais je me méfie: je comprends bien mieux ce dont il est question ici que pour les deux autres candidats.

Commentaires libres

Coauteurs variés, et aucun n'est son directeur de thèse.

Rapport de Beatrice Berard sur la candidature de Christine Tasson (initial)

Situation de la thèse

Domaine de la thèse : sémantiques et syntaxes de la logique linéaire

Bref résumé des travaux de la thèse :

Les travaux de la thèse sont consacrés à l'interprétation de la logique linéaire sur des espaces vectoriels topologiques. Ces travaux peuvent être mis en relation avec les problématiques du non déterminisme et de la concurrence pour les programmes.
En revisitant la notion d'espace de finitude, une sémantique intrinsèque de la logique linéaire sur ces espaces vectoriels a pu être construite, ainsi qu'une syntaxe appelée lambda-calcul barycentrique.
Un deuxième point abordé dans ce cadre est celui du développement de Taylor, qui permet d'obtenir des
des résultats sur les réseaux de preuves différentielles.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Faible

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Probablement (+0)

Dans les discussions éventuelles au sein du jury : Je ne défendrais que modérément mon appréciation, ce travail est très loin de mes préoccupations scientifiques et je n'ai qu'une confiance modérée en cette appréciation.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Rapport de rapporteur bordes sur la candidature de Antoine Bordes (extérieur)

Situation de la thèse

Domaine de la thèse : Apprentissage statistique

Bref résumé des travaux de la thèse :

Cette thèse propose différents algorithmes d'optimisation pour les support vector machines (SVM), une des méthodes d'apprentissage statistique les plus populaires aujourd'hui. Les algorithmes proposées sont de type gradient stochastique. Ils permettent par exemple d'entrainer des SVM sur des millions d'exemples, alors que les méthodes "classiques" d'optimisation pour les SVM rencontrent des difficultés avec quelques dizaines de milliers d'exemples.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Le candidat a obtenu des résultats objectivement remarquables pendant sa thèse:
– 2 publications à JMLR (le journal de référence en machine learning) et plusieurs conférences majeures
– prix du meilleur papier étudiant ICML 2007
– 1er d'un challenge international sur le large-scale learning (sur 42 participants).

Bref Antoine Bordes a déjà une reconnaissance internationale dans un domaine très compétitif. C'est une candidature très sérieuse.

Rapport de Philippe Preux sur la candidature de Antoine Bordes (initial)

Situation de la thèse

Domaine de la thèse : apprentissage automatique

Bref résumé des travaux de la thèse :

Travail sur la passage à l'échelle de l'algorithme SVM pour le traitement de très gros volume de données.

Nombreuses excellentes publications :
3 x Journal of Machine Learning Research (2005, 2009, 2010)
International Conference on Machine Learning 2010, et 2007 (best paper award en 2007)
AI & Stats 2005, 2010
ECML 2005, 2008

Vainqueur d'un challenge internationale sur cette thématique (résolution effective de problème sur des millions de données.

Travail à la fois théorique et pratique (implantation permettant de traiter de gros volumes de données).

Ce travail contribue fortement à débloquer le problème de l'utilisation des SVMs sur de gros volumes de données.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1/3

Commentaires libres

Intégration forte dans sa communauté ; création de collaborations avec l'équipe de NEC à Princeton, dirigée par Vapnik, le père de l'apprentissage statistique.

Très bons rapports de pré-soutenance.

Lettres très enthousiastes de Y. Bengio et L. Bottou

Major de promo (80 étudiants) du M2 IAD de Paris 6 en 2006.

Rapport de Arshia Cont sur la candidature de Antoine Bordes (initial)

Situation de la thèse

Domaine de la thèse : Apprentissage automatique, apprentissage en-ligne, apprenissage par noyau

Bref résumé des travaux de la thèse :

Le domaine d'apprentissage automatique par noyau a pris une vitesse incroyable ces dernières années, qui rend leurs suivis difficiles pour non-spécialiste. Néanmoins, les défis restent plus ou moins pareils, et la thèse de M. Bordes attaques plusieurs entre eux: apprentissage incrémental en SVM, rapport taille/temps d'apprentissage pour les approches de noyau; des considérations qui rendent ces approches presque inutilisables sur des basses grandissant sans cesse (p. ex. internet). M. Bordes propose d'une manière structurée plusieurs méthodologies pour surmonter ces limitations. Ces propositions ont été approuvées par la communauté scientifique ainsi que par pratique.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 25% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Normal

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je ne défendrais que modérément mon appréciation, ce travail est très loin de mes préoccupations scientifiques et je n'ai qu'une confiance modérée en cette appréciation.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

Commentaires libres

Rapport de rapporteur sauvalls sur la candidature de Ignasi Sau Valls (extérieur)

Situation de la thèse

Domaine de la thèse : théorie des graphes, complexité paramétrique, groupage de trafic

Bref résumé des travaux de la thèse :

- études du "groupage de trafic", un problème fondamental dans les réseaux de télécommunications. Sont présentés des résultats d'inaproximabilité, mais aussi de nouveaux modèles capturant la dynamicité des réseaux.

- optimisation dans les graphes, en particulier la recherche de sous-graphe donné avec contraintes de degré. Sont présentés des résultats d'inaproximabilité, des résultats sur la complexité paramétrique pour les graphes plongés sur des surfaces.

- études des graphes de tolérances et de leur généralisation. Une preuve de leur difficulté de reconnaissance (NP-dur) est présentée pour les graphes de tolérances bornés, problème ouvert depuis 30 ans.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Excellente

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais particulièrement mon appréciation, le domaine du candidat m'étant proche ou familier.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

On m'a demandé de faire un rapport rapide sur "Julien Robert" dont j'ai été rapporteur de sa thèse. Même si je n'ai pas fait ce dernier je tenais à dire que la thèse Ignasi Sau Valls est largement au dessus de celle de Julien Robert.

Commentaires libres

C'est clairement une des meilleures thèses de France. Les contributions sont particulièrement nombreuses, la liste des publications est impressionante. On a pas toujours des candidatures PR de ce niveau… Je remarque dans cette liste plusieurs prix: "Best Paper Award" à ICALP track C (2010) et "Best Student Paper Award" à WG (2009). Co-Chair d'ICALP 2010, je peux certifier que la compétition à ICALP est très rude. Même si de nombreuses publications ne sont pas issues des tout meilleur journaux (je comprends aussi le soucis de publier rapidement… des SIAM J. on computing sont soumis) il n'en reste pas moins de 9 journaux et 19 conférences internationales (avec actes et committé) dont ICALP, STACS, SWAT, WG, ... qui sont toutes très compétitives.

Rapport de Christian Bessiere sur la candidature de Ignasi Sau Valls (initial)

Situation de la thèse

Domaine de la thèse : optimisation

Bref résumé des travaux de la thèse :

Thèse portant d'une part sur le groupage de trafic dans les réseaux de communication. Résultats de complexité, algorithmes d'approximation, prise en compte du paramètre degré des sommets.

La deuxième partie généralise ces travaux à des problèmes sur tout type de graphe. Utilisation de plein d'outils de la théorie des graphes et complexité.

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances

Qualité et originalité des résultats obtenus : Excellentes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Excellente

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse : Excellente

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1er

Commentaires libres

Rapport de Pascale Minet sur la candidature de Ignasi Sau Valls (initial)

Situation de la thèse

Domaine de la thèse : Théorie des graphes et groupage de trafic

Bref résumé des travaux de la thèse :

Objectif: Trouver le meilleur groupage de trafic dans des réseaux optiques

Moyens: Résoudre des problèmes d'optimisation dans les graphes

Résultats: 1. Nouveau modèle pour router n'importe quel graphe de degré borné;
2. Solutions optimales pour anneau bidirectionnel et anneau unidirectionnel avec facteur de groupage dynamique;
3. Pour le problème qui consiste à trouver des sous-graphes du graphe initial avec contraintes sur le degré tout en optimisant un paramètre du graphe tel que le nombre de sommets ou d'arêtes, une méthodologie est proposée pour les graphes plongés dans une surface.
4. Montrer que le problème qui consiste à reconnaitre les graphes de tolérance et les graphes de tolérance bornée est NP-dur.

Applications potentielles: réseaux optiques

Critères d'évaluation

Parmi les thèses que vous avez eu l'occasion de lire dans votre carrière, vous classez cette thèse dans les : 10% meilleures

Par quel(s) aspect(s) cette thèse est-elle remarquable ? (plusieurs réponses sont possibles) :

  1. Avancée des connaissances
  2. Fort transfert industriel potentiel

Qualité et originalité des résultats obtenus : Très bonnes

Originalité des techniques utilisées : Très bonne

Qualité de la rédaction : Très bonne

Qualité des réalisations (publications, logiciels, brevets,...) issues de la thèse :

Classement pour le prix

Cette thèse est-elle nominable pour le prix de thèse Gilles Kahn 2010 ? Oui (+1)

Dans les discussions éventuelles au sein du jury : Je défendrais mon appréciation. Même si je ne suis pas (du tout) spécialiste du sujet, j'ai des arguments à faire valoir.

Si vous avez expertisé plusieurs thèses que vous considérez comme nominables, comment les interclassez vous ?

1. Guyslain Naves
2. Ignasi Sau Vals
3. Patrick Loiseau

Commentaires libres

En cas de problème pour utiliser cette application, contactez le secrétaire du prix Mathieu Giraud