University Bordeaux
Computing Ph.D. School


----------

Thesis subject offers to 2014

This list is updated at each arrival of a new offer. This page should be consulted regularly.

Funding

Thesis funding from the ministery of the Universities and the research (MESR) is essentially of two types:

  • open ("or merit"): after agreement with a thesis supervisor to work on a specific subject, students are ranked according to their Master results. The best students are then funded to work on their chosen subject.
  • directed: these subjects have a funding for a good applicant.

They are several other types of funding (university, CNRS, INRIA, Region, CIFRE, ANR, DGA, ...), so the possibilities of funding are not all known at the same date.

You can apply for 2 thesis subjects provided you indicate the order of priority between the two.

How to apply? Contact the thesis supervisor in order to get his agreement. You should send your detailed CV, your marks, an application letter. A letter supporting your candidacy by the foresee supervisor is mandatory to be admitted in the PhD program.

The necessary documents to apply are available on the School's web site.




Équipe Combinatoire et algorithmique
  • Combinatoire des tableaux boisés (attribué)
    • directeur : Jean-Christophe Aval
    • encadrant : Adrien Boussicault
    • mots clefs : Combinatoire énumérative et algébrique, tableaux, modèle PASEP.
    • résumé : L'objectif de cette thèse est d'attaquer plusieurs difficiles questions de combinatoire grâce à des objets nommés tableaux boisés, qui ont été introduits récemment (en 2011). Le problème emblématique du sujet est d'achever la compréhension d'un modèle de diffusion nommé PASEP en le "relevant" sur des tableaux boisés étiquetés. De nombreuses autres questions sont aussi visées, de nature et de difficulté variées, en combinatoire énumérative et bijective (énumération des coins, investigations des forêts non ambigües, extension en 3 dimensions...) et en combinatoire algébrique (étude de plusieurs structures d'algèbres de Hopf).
    • Sujet (pdf)
  • Domination game (attribué)
    • directeur: Paul Dorbec
    • mot clefs : théorie des graphes, domination, strategie optimale.
    • résumé :Un problème récent en théorie des graphes, dans le cadre des études sur la domination, est le "domination game". Deux joueurs sélectionnent à tour de rôle un sommet d'un graphe, à condition que le sommet sélectionné domine (soit voisin de) au moins un nouveau sommet du graphe. Les deux joueurs ont des objectifs antagonistes, l'un cherchant à minimiser le nombre de sommets finalement choisis, le second cherchant à le maximiser. On s'intéresse au paramètre de graphe correspondant au nombre de sommets choisis quand les deux joueurs adoptent une stratégie optimale, appelé nombre de domination ludique.
    • Sujet (pdf)
  • Placement de tâches et réplication de fichiers sur plates-formes parallèles (attribué)
    • directeurs : Olivier Beaumont
    • encadrants : Lionel Eyraud-Dubois, Loris Marchal (ENS Lyon), Bora Uçar (ENS Lyon)
    • mot clefs : Allocation de ressources, réplication de données, systèmes de fichiers distribués,
    • résumé : Analyse du placement de tâches dépendant de fichiers dans différents contextes. En particulier, on s’intéressera à l’impact de la réplication des données pour minimiser les coûts de communication et pour augmenter la disponibilité des tâches. On pourra considérer ce problème dans un contexte statique où tout est connu à l'avance, dans un contexte dynamique où les durées des tâches ne sont pas connues avec précision, ainsi que dans un environnement avec pannes.

Équipe Image et Son
  • Jeu sérieux musical (attribué)
    • directrice : Myriam Desainte-Catherine
    • encadrant : Matthias Robine
  • Algorithmes rapides pour le traitement de masses d’images multi-dimensionnelles (attribué)
    • directeur : Achille Braquelaire
    • encadrant : Vinh-Thong Ta
    • mot clefs : traitement de masse d'images, descripteurs d'images
    • Sujet (pdf)
  • Étude et prédiction automatique de l’attention visuelle des populations atteintes des maladies neuro-dégénératives (attribué)
    • directrice et directeur : Jenny Benois-Pineau, Chokri Ben Amar
    • thèse en cotutelle avec Université de Sfax, Tunisie
    • résumé : Les retards dans le fonctionnement oculomoteur caractéristique des patients atteints de maladies neuro-dégénératives (comme la maladie de Parkinson) doivent se caractériser par un décalage temporel des cartes d’attention. D’autres différences sont hypothétiquement attendues. Il s'agit d'étudier les cartes d'attention visuelle des patients et de proposer des mesures objectives pour l'aide au diagnostic.
  • Caractérisation topologique et géométrique d'organes tubulaires (attribué)
    • directeur : Jean-Philippe Domenger
    • encadrants : Fabien Baldacci, Anne Vialard
    • mot-clefs : Analyse d'image 3D, imagerie médicale, géométrie et topologie discrète
    • résumé : Le but de cette thèse est de développer de nouveaux outils permettant d'extraire des caractéristiques topologiques et géométriques sur des organes tubulaires, à partir d'images 3D. Ces nouveaux estimateurs seront ensuite utilisés afin de caractériser diverses pathologies des bronches et des vaisseaux entrainant des modifications topologiques et géométriques.
    • Sujet (pdf)
  • Objets physiques interactifs pour de la performance artistique immersive (attribué)
    • directeur et directrice: Martin Hachet et Myriam Desainte-Catherine
    • mots clefs : Interaction tangible, Réalité virtuelle, performance artistique
    • résumé : l’objectif de cette thèse est l’exploration de nouvelles approches permettant à un artiste d’interagir avec un univers visuel et sonore au moyen de la manipulation d’objets physiques. En particulier, nous nous focaliserons sur un scénario de jonglage collaboratif interactif et immersif.
  • Super-resolution light field microscopy (attribué)
    • directeur : Ivo Ihrke
    • mots clefs : light field, optical microscopy, computational super-resolution, computational optics
    • résumé : The thesis will exlore the application of computational super-resolution techniques to data from the recently developed light field microscope which allows for post-capture refocussing and view point change. In conjunction with the algorithm design, the hardware of the microscope may have to be modified to achieve substantial progress.
  • Acquisition et simulation physique de l’apparence des surfaces (attribué)
    • directeur : Xavier Granier
    • encadrant : Romain Pacanowski
    • mots clefs : Informatique Apparence, Matériaux, GPU, Parallèlisation
    • résumé : L’objectif de cette thèse est de (i) mettre au point un protocole de mesures physiques de l’apparence des matériaux. Le dispositif développé se devra d’être portable et de faible coût afin de pouvoir facilement être utilisé in situ ainsi que par des utilisateurs non experts; (ii) de développer des représentations de l’apparence à partir des mesures physiques obtenues et enfin (iii) de développer de nouveaux algorithmes de simulation du transport lumineux, basés sur les Virtual Point Light (VPL), afin de restituer l’apparence des matériaux dans différents contextes
    • Sujet (pdf)
  • Rich Vector Shape (attribué)
    • directeur : Gaël Guennebaud
    • mots clés : Synthèse d'image, rendu temps réel, multi-résolution, modélisation géométrique
    • résumé : L'objectif de cette thèse est d'étudier de nouvelles représentations pour la manipulation et le rendu d'objets 3D extrêmement détaillés. Pour cela nous mettrons l'accent vers la recherche de primitives vectoriels pour la représentation efficace des détails de surfaces, et nous essaierons d'établir des liens entre cette méso-géométrie et les modèles de matériaux afin de mettre au point un système de rendu multi-résolution de haute qualité.
    • Sujet (pdf)
  • Définition d’une approche hiérarchique pour l’identification et l’analyse du comportement d’objets vidéo (attribué)

Équipe Méthodes Formelles
  • High Quality Abstractions For The Verification Of Asynchronous Distributed Systems (attribué)
    • directeur : Jérôme Leroux
    • encadrant : Grégoire Sutre
    • mots clefs : verification, CEGAR, Interpolation, infinite-state systems, symbolic representations, learning, acceleration, abstract interpretation
    • résumé : Asynchronous distributed systems are notoriously difficult to design correctly. This is due to the complex (and sometimes unforeseen) interactions resulting from asynchronous communications. Therefore, there is a growing need for automatic verification tools capable of analyzing such systems. This need is amplified with the current development of multicore architectures. This proposal aims at providing new techniques for computing high quality abstractions for the analysis of asynchronous distributed systems based on various frameworks : program transformation, assume-guarantee, interpolation abstraction, abstact acceleration, learning.
    • Sujet (pdf)
  • Validation à l'exécution de propriétés temps-réel pour systèmes critiques (attribué)
    • directeur: Mohamed Mosbah
    • encadrants : Antoine Rollet, Yliès Falcone (Université de Grenoble)
    • mots clefs : validation à l'exécution, enforcement, monitoring, test à base de modèles, temps-réel, traces temporisées, cockpit
    • résumé : Des récents travaux dans le domaine des méthodes formelles proposent des solutions de surveillance (vérification à l’exécution) et éventuellement de correction (enforcement à l’exécution) qui ne nécessitent pas de connaître la spécification complète du système. L'objectif de cette thèse de doctorat est d'étendre la vérification et l'enforcement à l'exécution dans un contexte temps-réel, de compléter l'état des résultats théoriques, et de proposer une application concrète sur un exemple industriel, par exemple les cockpits et les Interfaces Hommes Systèmes (IHS).
    • Sujet (pdf)
  • Modélisation et programmation par tuilage (attribué)
    • Directeur : David Janin
    • mots-clefs : système intermedia réactif, algèbres de tuiles, programmation fonctionnelle,
    • résumé : La modélisation par tuilage, qui trouve ses fondements dans la théorie des monoides inversifs, semble particulièrement bien adaptée à la description de flux media temporisés complexes tels qu'ils apparaissent, en particulier, dans les systèmes musicaux interactifs. En collaboration avec Paul Hudak (Yale, New-Haven, USA), une première implémentation de ce modèle a été réalisée en Haskell. Le travail de thèse consistera à poursuivre ce développement en enrichissant, par la conduite d'expérimentations adéquates, les principes, concepts et métaphores de modélisation sous-jaçents.
  • Transformation de flux de données et limitation de ressources (attribué)
    • directrice : Anca Muscholl
    • encadrants : Olivier Gauwin, Gabriele Puppis
    • résumé : algorithmique des traitements des données potentiellement structurées (comme XML) ou infinies (comme les flux) présentées de manière séquentielle. Etant donné une spécification de la procédure à réaliser, on cherchera à prouver l'existence d'une procédure nécessitant seulement un espace mémoire borné et à concevoir une telle procédure.

Équipe Supports et Algorithmes pour les Applications Numériques Hautes Performances
  • Passage à l'échelle des bibliothèques de communication sur grappes de noeuds massivement multi-coeurs (attribué)
    • directeur : Emmanuel Jeannot
    • encadrant : Alexandre Denis
    • mot clefs : communications réseau, calcul haute-performance, multi-coeur, MPI
    • résumé : La progression fulgurante du nombre de coeurs dans les machines de calculs remet en question la façon dont les bibliothèques de communication gèrent les accès aux réseaux. Nous proposons d'étudier des approches de gestion des communications sans vue globale, tenant compte de la localité conformément à la topologie de la machine.
    • Sujet (pdf)
  • Modèles de performance des applications et des plates-formes parallèles pour le placement de processus (attribué)
    • directeur : Brice Goglin, Emmanuel Jeannot
    • mots clefs : Calcul haute performance, applications parallèles, placement de processus, modèles de performance.
    • résumé : Les serveurs de calcul modernes sont constitués d'une hiérarchie complexe de resosurces (processeurs, coeurs, mémoire NUMA, caches partagés, etc). Le placement des processus sur ces architectures a un impact important sur les performances des applications parallèles. L'objectif de cette thèse est de quantifier les besoins des applications parallèles (puissance de calcul séquentiel, taille/vitesse de cache, bande passante mémoire, etc, ou des combinaisons) et les performances des plates-formes pour disposer d'informations qualitatives lors des prises de décision de placement de processus.
    • Sujet (pdf)
  • High order discontinuous Galerkin solvers over runtimes for harnessing manycore systems (attribué)
    • directeur : Raymond Namyst, Denis Barthou
    • mots clefs : high order method, discontinuous Galerkin, GPU, Xeon Phi, OpenMP, OpenCL, MPI, StarPU, Xkaapi
    • résumé : Ce sujet de thèse pluridisciplinaire porte sur la conception des futures simulations numériques utilisant des méthodes de type « Galerkin Discontinu » dans des environnements de calcul hybrides composés de multicoeurs et d’accélérateurs. L’accent sera mis sur une nouvelle articulation entre les langages de haut niveau (type OpenMP), les langages spécialisés (type OpenCL) et les supports d’exécution. Il s’agira en particulier de développer de nouvelles méthodes d’« autotuning » et de génération de variantes multiples à partir d’un même code.
    • Sujet (pdf)
  • Programmation des architectures hétérogènes à l’aide de tâches divisibles ou moldables (attribué)
    • directeur : Raymond Namyst
    • encadrants : Abdou Guermouch, Pierre-André Wacrenier
    • mots clefs: Calcul parallèle, Accélérateur, GPU, Multicoeur.
    • résumé : Les ordinateurs multicoeurs équipés d’accélérateurs réalisent une percée remarquable dans le paysage du calcul haute performance. Une technique performante pour programmer ces architectures est d’ordonnancer adéquatement des graphes dynamiques de tâches sur l’ensemble des ressources. La charge de structurer en tâche le parallélisme de l’application est laissée aux programmeurs. Cependant l’un des aspects les plus difficiles, lors du découpage d’une application en graphe de tâches, est de choisir la granularité de ce découpage : générer trop de tâches risque de noyer la machine, pas assez de la sous utiliser. Cette thèse abordera deux techniques complémentaires pour appréhender automatiquement ce problème : la première consistera à utiliser des tâches elles mêmes parallèles, la seconde mettre en œvre des techniques dynamiques de division/fusion de tâches.
    • Sujet (pdf)

Équipe Modèles et Algorithmes pour la Bio-informatique et la Visualisation
  • Méthodes de clustering pour l’analyse et l’exploration des réseaux de régulation biologique impliquant les petits ARNs non codants (attribué)
    • directeur : Serge Dulucq
    • encadrante : Isabelle Dutour
    • mots clefs : Bioinformatique, Réseaux de régulation, Clustering, Intégration de données hétérogènes, Modélisation
    • résumé : La modélisation et l’analyse des réseaux de régulation biologique posent de nombreuses questions à la frontière des mathématiques, de l'informatique et de la biologie. Dans ce cadre interdisciplinaire, la thèse vise à proposer de nouvelles méthodes de clustering permettant d’identifier des groupes de régulation d’intérêt fonctionnel pour la cellule. L’ensemble de ces développements sera appliqué aux réseaux de régulation bactériens impliquant les petits ARNs non codants dont le rôle important dans l’établissement de la virulence a été pointé chez plusieurs bactéries pathogènes. Cette thèse sera menée en collaboration avec des microbiologistes pour une validation expérimentale.
    • Sujet (pdf)

Équipe Programmation, Réseaux et Systèmes
  • Virtualisation de Passerelle Réseau pour être utilisée en tant que service au travers d'une infrastructure Cloud: approche NFaaS (Network Function as a Service) (attribué)
    • directeur : Daniel Negru
    • mots clefs : Cloud, Virtualisation, Home Gateway, NFV, SDN
    • résumé : Il s'agit de créer un système de Home-Box virtualisé dont les fonctions seraient virtualisées au sein d’un Cloud et permettant aux acteurs dans le domaine (voir même aux utilisateurs finaux) d’en bénéficier au travers d’une sorte de marketplace. Cette plateforme pourrait également être utilisée par tous les développeurs/testeurs/constructeurs, qui inclut toutes les fonctionnalités et interfaces de base d'une home gateway et serait étendue avec des fonctionnalités avancées, notamment pour le multimédia. Le but (ultime) serait de proposer une API globale et permettre des évolutions ainsi. La box serait ouverte et pourrait accueillir plusieurs service providers, s'interfacer avec plusieurs network providers (ISP), etc.
    • Sujet (pdf)
  • Transcodage Opus en cœur de réseau SDN/OpenFlow pour les conférences en VoIP entre clients hétérogènes. (attribué)
    • directeurs : Damien Magoni, John Murphy
    • thèse en cotutelle avec University College Dublin
    • mots-clés : VoIP, Opus, OpenFlow
    • résumé : Les téléconférences sont un moyen très pratique et peu coûteux de réunir plusieurs personnes géographiquement éloignées. Avec l’avénement de l’Internet et la conversion des opérateurs vers le tout IP, les conférences téléphoniques utilisent désormais la voix sur IP grâce aux protocoles SIP, RTP, etc. Cependant le réseau IP n’offre pas la même homogénéité qu’un réseau téléphonique classique en termes de performances et les caractéristiques des connexions réseaux côté client peuvent être très hétérogènes. L’arrivée de nouveaux codecs, tels qu’Opus, pouvant transcoder leur flux audio à la volée permet d’optimiser dynamiquement les flux aux caractéristiques des connexions cependant cette adaptation ne se fait que dans les terminaux. L’objectif de cette thèse est de mettre à profit l’architecture SDN afin de transcoder les flux sur des équipements situés en cœur de réseau et ainsi d’optimiser la localisation de ces transcodages par rapport à la position des clients.
  • Maintenance logicielle par observation (attribué)
    • directeur : Xavier Blanc
    • encadrant : Jean-Rémy Falleri
    • mots clefs : génie logiciel, maintenance logiciel, librairies, fouille de dépots logiciels
    • résumé : Le but de cette thèse est d'évaluer si il est possible de mettre à jour les dépendances de composants externes des logiciels en observant les actions entreprises par d'autres logiciels qui utilisent ces composants. Pour cela il sera nécessaire de répondre aux questions suivantes: où trouver des exemples de maintenance évolutive de dépendances de composants externes? comment extraire de cess exemples les changements précis qu’il est nécessaire d’effectuer ?
    • Sujet (pdf)
  • Resources Management in Software Defined Environment (attribué)
    • directeur : Toufik Ahmed
    • mots clefs : Gestion et contrôle de ressources / réseaux, Qualité de Service, SDN, VNF
    • résumé : The aim of this thesis is to study how Software Defined Environment as a new paradigm can enable optimized resources management. Through this thesis we aim to explore in-depth the impact of SDE on network performances (VNF, SDN, resources management), especially in the context of resources management for next generation networks and services.
    • Sujet (pdf)

contact : Colette Johnen

Page mise à jour le 14/01/2015 à 11:52