Université de Bordeaux
Formation doctorale en Informatique


----------

Propositions de sujets de thèse
Année 2016

Cette liste est mise à jour à chaque arrivée d'une nouvelle proposition. Cette page doit donc être régulièrement consultée.

A LIRE, avant de déposer un dossier et, donc, de faire une thèse.

Comment candidater ?

Contacter le directeur/directrice de thèse pour obtenir son soutien. Communiquer votre CV détaillé, vos notes, une lettre de motivation. Une lettre de soutien à votre candidature du directeur/directrice est indispensable pour être admis dans la formation doctorale en Informatique.

Sur le site de l'école doctorale MI, vous trouverez toutes les informations pour constituer votre dossier d'admission.

Les dossiers sont à envoyer à : Marina Jorge, LaBRI, Université de Bordeaux, 351 Cours de la Libération, 33405 Talence ou par email à l'EDMI

Financements

Les allocations ministérielles (MESR) sont principalement de deux types :

  • blancs ("au mérite") : après l'accord du directeur/directrice de thèse pour travailler sur un sujet précis, les étudiants sont classés en fonction de leur résultat au master. Les meilleurs étudiants sont donc financés pour travailler sur le sujet de leur choix. La décision final est prise fin juin.
  • fléchés : le financement de ces thèses est décidé en mars. Ces sujets ont une garantie de financement, si un ou une candidate de qualité postule (et qu'elle/il est soutenu(e) par le directeur de la thèse).

Les modalités de candidature à une allocation de recherche ministérielle sont sur le site de l'école doctorale Rubrique Admission.

Il existe d'autre types de financement (université, CNRS, INRIA, Région, CIFRE, ANR, DGA, ...) qui ne sont pas tous connus à la même date.

N'hésitez donc pas à candidater sur le sujet qui vous intéresse.

Il est possible de postuler sur 2 sujets de thèses mais en indiquant la priorité entre les deux sujets.

La date limite de dépôt de candidature pour une allocation ministérielle est fixée au 31 mai 2016

Équipe Combinatoire et algorithmique
  • Combinatoire de modèles de tenseurs aléatoires (non attribué)
    • Direction: Adrian Tanasa
    • Mots-clés: combinatoire, matrices et tenseurs aléatoires
    • Résumé: Les modèles de tenseurs aléatoires sont des généralisations naturelles – à plus de deux dimensions (2D) – des modèles de matrices aléatoires. Le sujet de thèse, à l'interface de l'informatique théorique, les mathématiques et la physique, se propose d'étudier plusieurs aspects combinatoires de modèles de tenseurs aléatoires. Après plusieurs objectifs préliminaires, l'objectif principal du sujet de thèse proposé ici est la généralisation à 3D de la bijection de Cori-Vauquelin-Schaeffer. Il faut rappeler que cette bijection, entre de cartes et certains arbres décorés, permet d'avoir des informations sur les chemins géodésiques à 2D, informations qui ne peuvent pas être obtenues par de techniques « standard » connu par les physiciens, comme sont les techniques de théories quantiques de champs.
    • Sujet (pdf)
  • Accessibilité dans les graphes planaires avec pannes (non attribué)
    • Direction: Cyril Gavoille, Bruno Courcelles
    • Mots-clés: graphes orientés, graphes planaires, accessibilité
    • Résumé: le problème d'accessibilité (ou "reachability problem") dans un graphe orienté G est de savoir si pour deux sommets s et t données, G contient un chemin allant de s à t. Le sujet de cette thèse porte sur une généralisation de ce problème de base apparaissant dans de nombreux contextes en informatique, en particulier lorsque certains sommets du graphe sont défaillant. Plus précisément il s'agit de calculer une structure de données pour G permettant de répondre le plus efficacement possible à la question de l'existence d'un chemin allant de s à t dans le graphe G-F, c'est-à-dire le graphe G où les sommets d'un ensemble F donné ont été supprimés.
    • Sujet (pdf)
  • Problèmes de coloration d'arêtes des graphes distances et circulants (non attribué)
    • Direction: Eric Sopena, Hervé Hocquard
    • Mots-clés: Colorations fortes, Colorations de packing, Colorations distinguantes, Jeux de coloration
    • Résumé: le but de cette thèse est d’étudier différents types de coloration de graphes, en se focalisant sur les colorations d’arêtes des graphes distances et des graphes circulants. On s'intéressera plus particulièrement aux colorations fortes, aux colorations de packing, aux colorations distinguantes et aux jeux de coloration associés.
    • Sujet (pdf)
  • Détection de logiciels malveillants dans les applications embarquées
    • Direction : Akka Zemmari, Mohamed Mosbah
    • Mots-clés : rétro ingénierie, apprentissage machine, apprentissage profond, chemins typiques, entropie
    • Résumé : L’informatique embarquée est de nos jours présente partout. Des téléphones, des tablettes, des objets de tous les jours sont de plus en plus équipés de systèmes dits intelligents et interconnectés. La popularité de ces systèmes et des logiciels qui les équipent en font une cible pour des personnes malveillantes qui développent des logiciels "malwares". Le but de cette thèse est d'utiliser les techniques de rétro-ingénierie, couplées avec les techniques de "deep learning" pour détecter les logiciels malveillants dans les systèmes embarqués.
    • Sujet (pdf)
  • Coloration de graphes et configurations réductibles (non attribué)
    • Direction: Eric Sopena, Frantisek Kardos
    • Mots-clés: graphe planaire, configuration réductible, coloration d'incidences, coloration acyclique
    • Résumé: L’objectif de ce sujet de thèse est de développer des méthodes permettant d'automatiser la vérification de la réductibilité de configurations par rapport à des colorations particulières de graphes pour des classes de graphes spécifiques. Les corrélations étudiés seront la coloration des arêtes des graphes planaires, la coloration d'incidences ou la coloration acyclique. Les classes de graphes étudiées seront les classes de graphes peu denses (avec un nombre d'arêtes linéaire par rapport au nombre de sommets), les graphes avec un degré maximum borné ou les graphes sans cycles de petite taille.
    • Sujet (pdf)
  • On the restricted use of concurrent objects (non attribué)
    • Direction: Colette Johnen, Alessia Milani
    • Mots-clés: distributed algorithms, concurrent computing, multiprocessors shared memory, shared, objects, fault-tolerance, complexity
    • Résumé: The current revolution of multi-core architectures demands to gain better understanding of the complexity of concurrent objects implementations. We are interested in fault-tolerant implementations, which allow a process that does not prematurely halt to complete its operations despite the behaviour of the other processes in the system. These implementations are called wait-free. The aim of this thesis is to study the space and time complexity of wait-free implementations that adapt to contention.
    • Sujet (pdf)
  • Calcul distribué sur les gros graphes : penser local pour un calcul global (non attribué)
    • Direction: Nicolas Hanusse
    • Mot-clés: algorithmique de graphes, l'analyse de données et le calcul distribué, structure de données compacte et distribué
    • Résumé: l'engouement récent du traitement des données massives (Big Data) entraîne un intérêt pour le stockage et le requêtage de gros graphes de manière distribuée. Bien qu'il existe des environnements de traitement distribué (Pregel, Spark, ..) dédié au calcul distribué de gros graphes, ils s'avèrent souvent peu performant lorsqu'on désire faire des calculs globaux (métriques, courts chemins, décompositions de graphes). Le but de cette thèse est de faire des propositions, aussi bien en terme algorithmique que de développement, sur le calcul distribué efficace en utilisant au maximum les calculs locaux mais également les possibilités de parallélisme que propose le stockage distribué.
  • Comment résumer les flux de données massifs rapidement (non attribué)
    • Direction: Nicolas Hanusse
    • Mots-clés: Big Data, algorithmique de flux, statistique, probabilités, analyse de données, calcul distribué, structure de données compacte et distribué
    • Résumé: en voulant analyser des données massives de sources variées (capteurs, web, …), il s'avère déraisonnable de chercher à répondre de manière exacte à des requêtes. En effet, cela nécessite énormément de ressources telles que la mémoire et la parallélisation du traitement de la requête n'est pas toujours aisée. Heureusement, nous voyons émerger des algorithmes qui garantissent simultanément l'usage de peu de mémoire, un unique passage sur les données – pas besoin de multiples accès disque – et une approximation du résultat. L'objectif de cette thèse est de proposer des algorithmes de flux pour des requêtes plus complexes issus de la fouille de données : mesures d'aggrégation, skyline, … et de les implanter dans un environnement de calcul distribué.
  • Vérification distribuée (non attribué)
    • Direction:: Corentin Travers
    • Mots-clés: Algorithmes distribués, vérification
    • Résumé: La vérification à l'exécution (runtime verification) consiste à vérifier au cours de l'exécution d'un système matériel ou logiciel que certaines propriétés sont satisfaites. Cette approche se situe entre le test et les méthodes formelles. Dans le cas des systèmes répartis, ceci se traduit en général par l'existence d'un unique moniteur qui collecte et analyse les traces de l'exécution de l'ensemble du système. Il a récemment été initié l'étude de la vérification distribuée dans un cadre où les moniteurs sont eux-mêmes distribués. Le but de cette thèse est de poursuivre l'étude de la vérification distribuée en particulier en développant de nouveaux algorithmes de vérification.

Équipe Image et Son
  • Fusion multimodale et analyse vidéo pour la détermination du contexte des chutes parkinsoniennes (non attribué)
    • Direction: Jenny Benois-Pineau (LaBRI), François Tison
    • Résumé: Le travail de recherche s’inscrit dans le cadre du projet de développement d’une méthodologie novatrice pour le suivi et la compréhension des chutes chez les patients souffrant de la maladie de Parkinson. Il s’agit d’explorer le potentiel de la technologie des capteurs de vidéo portée, et capteurs électromécaniques (accéléromètres) associés à l’analyse et l’indexation automatique des contenus, afin de fournir aux chercheurs et médecins des informations uniques et objectives sur le contexte, les causes et le déroulement des chutes. La capture et l'analyse automatique des données vidéo par des dispositifs portables miniatures en vue égocentrique apparaît aujourd’hui à fort potentiel pour des applications de suivi médical, telle la reconnaissance d’activités des patients atteints de la maladie d’Alzheimer, l’assistance contextuelle (détection d’obstacle pour les aveugles), re-mémorisation (life-logg) pour des patients atteints de démences. Cette recherche fait suite au projet PI FP7 Dem@care. Une première étude du sujet a été soutenue par le CNRS au LABRI, ce qui a permis d’enregistrer le premier corpus de données multimodales sur des volontaires sains.
    • Sujet (pdf)
  • analyse de la voix pour la caractérisation de l'humeur des patients (non attribué)
    • direction: Pierre Philip (Sanpsy-CHU)
    • Résumé: L'objectif de ce sujet de thèse est de se focaliser sur l'analyse des informations ara-linguistiques que l'on peut trouver dans les enregistrements vocaux. Les recherches menées au cours de la thèse concerneront les 3 axes suivants (1) a définition de paramètres vocaux permettant de décrire au mieux les troubles générés par le manque de sommeil, (2) 'étude de ces paramètres pour la caractérisation automatique de l'humeur des patients en utilisant des bases de données reconnues internationalement mais également des enregistrements effectués dans le cadre de ce projet sous la supervision des praticiens et (3) l'implémentation du système dans l'environnement médecin virtuel et les essais cliniques permettant de valider notre approche pour le suivi des patients et l'aide au diagnostic.
  • Comment développer une formation numérique accessible à tous ? (attribué)
    • Direction: Pascal Guitton
    • Résumé: L’objectif global de la thèse est d’améliorer les systèmes numériques de formation (SNF) pour les rendre accessibles également aux personnes avec déficiences cognitives. Cette amélioration porte sur deux aspects complémentaires : adapter le contenu des enseignements aux différents publics, et adapter le format de ces contenus et développer les interfaces homme-machine qui permettent d’y accéder.

Équipe Méthodes Formelles
  • Vérification d’Ordre Supérieur (VérOS)(non attribué)
    • Direction: Sylvain Salvati
    • Résumé: L’objectif de ce sujet de thèse est de proposer des algorithmes efficaces de vérification des programmes d’ordre supérieur. Pour cela, le sujet abordera le problème de l’évaluation des programmes dans un domaine abstrait de façon progressive. Le sujet se développera en trois étapes : (1) adaptation à l’ordre supérieur des méthodes d’interprétation abstraite aux spécifications de sûreté, (2) extension aux spécifications comportementales, et (3) implémentation des algorithmes obtenus sur une partie du langage OCaml
    • Sujet (pdf)
  • Suites de mots et automates (non attribué)
    • Direction: Géraud Sénizergues
    • Mots-clés: automates, suites, problèmes de décision
    • Résumé: une suite (de nombres ou de mots) d'ordre k est une suite calculable par un automate à pile d'ordre k. Les suites d'ordre 2 correspondent aux HDT0L et celles d'ordre k sont les composées de (k-1) suites d'ordre 2. Le sujet consiste à faire progresser les connaissances sur les propriétés structurelles et algorithmiques de ces suites.

Modèles et algorithmes pour la bioinformatique et la visualisation d'informations
  • Méthodes de prédiction du risque d’exacerbation dans des maladies inflammatoires chroniques à partir de données hétérogènes
    • Direction: Macha Nikolski, Thierry Schaeverbeke
    • Mots-clés : machine learning, intégration de données, méthodes prédictives, maladies inflammatoires
    • Résumé : Dans cette thèse on s’intéressera au développement de méthodes de machine learning afin de déterminer les combinaisons optimales les prédicteurs du risque d’exacerbation de plusieurs maladies inflammatoires (asthme, polyarthrite rhumatoïde, ...), intégrant un ensemble de données hétérogènes de grand volume provenant de l’environnement immédiat, du microenvironnement pulmonaire et des symptômes perçus par le patient.
    • Sujet (pdf)
  • Elicitation de préférences (non attribué)
    • Direction: Sofian Maabout
    • Résumé: Les requêtes dites de « préférence » permettent à l’utilisateur de sélectionner les « meilleurs » résultats d’une requête quelconque. Dans certaines situations, l’utilisateur est incapable d’expliciter ses préférences sous la forme d’ordre (total ou partiel). Par contre, ce dernier est capable de sélectionner ce qui est considéré comme « meilleur » si un échantillon du résultat lui est exhibé. Il s’agit alors de déduire à partir de ces exemples (ou contre-exemples) de déduire des relations d’ordre difficilement exprimables par l’utilisateur. Ce problème d’inférence demande une étude algorithmique et sémantique. Aussi, plusieurs solutions sont peuvent être considérées comme satisfaisante dans une même situation, comment choisir la meilleure, ou encore, existe-t-il une meilleure solution ? Par ailleurs, nous sommes parfois confrontés au problème d’analyse de différentes préférences exprimées par différentes catégories d’individus. Dans ce cas, il est souhaitable d’en déduire une agrégation de préférences résumant au mieux l’ensemble.
    • Sujet (pdf)
  • Architecture neuronale pour la gestion du temps et sa contextualisation (non attribué)
    • Direction: Nicolas Rougier, Xavier Hinaut
    • Mots-clés: réseaux de neurone artificiels, apprentissage, prise de décision, reservoir computing, LSTM
    • Résumé: Si l'apprentissage profond a permis des avancées spectaculaires en reconnaissance d'images et en traitement du langage, l'aspect temporel reste quant à lui extrêmement limité. L'objectif de cette thèse est d'étudier et de concevoir de nouvelles classes d'algorithmes à même d'offrir un meilleure prise en compte du temps sur la base d'une information instantanée (pas d'accès explicite au passé ni au futur). En se basant sur des mécanismes bio-inspirés (réseaux de neurones artificiels), ces algorithmes devront apprendre "en-ligne" à extraire dans un flux de données, les indices permettant de construire des représentations adéquates du (ou des) contexte(s). Ces représentations seront utilisées notamment dans des modèles de prise de décision, en particulier dans un simulateur de type "MineCraft" où l'agent doit survivre dans un environnement a priori hostile.

Équipe Programmation, Réseaux et Systèmes
  • Sécurité et vie privée centrées sur l’utilisateur dans l’IoT (non attribué)
    • Direction: Francine Krief
    • Mots-clés: Internet des objets, Sécurité, Confidentialité, Intégrité, Authentification, Vie privée, Contexte utilisateur, Contraintes d’environnement
    • Résumé: L’objectif de cette thèse est de proposer des mécanismes centrés sur l’utilisateur afin de pallier les différentes attaques de sécurité menaçant le bon fonctionnement des applications de l’IoT (Internet of Things). Les mécanismes visés permettront de garantir la sécurité et la vie privée sur deux plans : (1) l’échange de données, et (2) le stockage et l’accès aux données. Ils devront aussi être suffisamment robustes et respecter les contraintes de l’environnement (capacités des objets, etc.)
    • Sujet (pdf)
  • Scaling communications in the Internet of Everything (IoE) by software-defining the Cloak architecture (non attribué)
    • Direction: Damien Magoni
    • Mot-clés: IoE, SDN, CLOAK, NFV
    • Résumé: The Internet currently evolves into a complete integrated cyber physical system by creating mappings between people and physical devices onto their equivalent in the information world. This evolution is leading to the Internet of Everything, which is expected to be orders of magnitude bigger than the current Internet. The current Internet architecture is not designed to withstand such an evolution both in terms of scalability and flexibility. Recently, new paradigms have emerged for designing innovative networking architectures, namely CLOAK (Covering Layers of Abstract Knowledge), Software Defined Networking (SDN) and Network Function Virtualization (NFV). The aim of this thesis is to draw a state of the art of all these technologies and to define some possible solutions building on these new paradigms for scaling future communications.
  • Resources control and management in Mobile Edge Environment (non attribué)
    • Direction: Toufik Ahmed
    • Mots-clés: Contrôle de Réseaux, QoS, SDN/NFV.
    • Résumé: In today network, the introduction of new functionalities could take a long time from the standardizing process to the implementation and deployment stages. The objective of this thesis is to propose a coherent architectural framework that enables rapid and cost effective deployment of new and existing network functions on the mobile edge network using SDN and NFV paradigm. We aim to propose new network control models, algorithms and mechanisms to provide the user with a better and improved quality of experience while enabling network operators to manage in optimized way their network resources.
    • Sujet (pdf)
  • Evolution of web applications (non attribué)
    • Direction: Xavier Blanc
    • Résumé: All applications that are designed to run on the Internet must not only fulfill all user requirements, which are more and more frequent and heterogeneous, but also must support the Internet evolutions. This proposal addresses Internet speed software evolution. It aims to define factors and facilities that will drive the maintenance of applications designed to run on the Internet. For that purpose, it uses source code analysis coupled with statistical measures of large set of applications with the objective to exhibit evolution trends, and to leverage on them.
    • Sujet (pdf)

Équipe Supports et Algorithmes pour les Applications Numériques Hautes Performances
  • Exploration, simulation des algorithmes parallèles de traitements numériques des futurs standards de communication (non attribué)
    • Direction: Denis Barthou
    • Résumé: La première partie de la thèse consistera à étudier les algorithmes de traitement en bande de base dans les chaines de communications du futur. Cela inclut notamment : les techniques de démodulations (linéaire et non-linéaire), l’égalisation, les traitements multi-antennes, la cryptographie. Il faudra notamment extraire de cette première étude une analyse du parallélisme dans les algorithmes considérés et adapter ce parallélisme, explorer les variantes possibles pour les architectures de supercalculateurs (pour la simulation) et pour l’embarqué. Dans un deuxième temps, les techniques de génération de codes éprouvées sur le codage canal pourront être transposées pour adresser les autres traitements de la chaine. La réalisation de bibliothèques ou d’un langage spécifique au domaine permettant la génération de code parallèle efficace pour ces familles d’algorithmes sera l’un des objectifs essentiels de cette fin de thèse. La mise au point de nouvelles techniques de génération de code, d’optimisation statique ou dynamique seront envisagées.
    • Sujet (pdf)

contact : Colette Johnen

Page mise à jour le 06/09/2016 à 14:33