Université Bordeaux 1
Formation doctorale en Informatique


----------

Propositions de sujets de thèse
Année 2011

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

Les modalités de candidature à une allocation de recherche ministérielle sont sur le site de l’école doctorale (cf. Offres de Thèses).

Date limite pour déposer un dossier pour les allocations ministérielles et universitaires (BQR, blanches ou fléchées): le 24 juin 2011

Financements

Les financements de thèse sont principalement de deux types:

  • blancs ("au mérite"): après l'accord avec un directeur de thèse pour travailler sur un sujet de thèse, les étudiants sont classés en fonction de leur résultat au master. Les meilleurs étudiants sont donc financés sur le sujet de leur choix.
  • fléchés: ces sujets ont une garantie de financement indépendamment de la qualité d'un candidat.

A cause de la multiplicité des types de financements (université, CNRS, INRIA, Région, CIFRE, ANR, DGA, ...), les possibilités de financements ne sont pas tous connus à la même date.

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

Comment candidater ?

  1. Contacter le directeur de thèse pour avoir son accord.
  2. Le dossier à constituer est disponible sur le site de l'école doctorale :
* Pour les financements ministériels et universités: cf. Offres de Thèses.
* Pour les autres financements (ANR, Région, DGA, CIFRE, ...): cf. Admission.

Les dossiers sont à envoyer à : Cathy Roubineau, LaBRI, Université Bordeaux 1, 351 Cours de la Libération, 33405 Talence

Équipe Combinatoire et algorithmique

  • Combinatoire de déformations du centre de l’algèbre du groupe symétrique
- Directeur: J.-C. Aval, Philippe Duchon, Valentin Féray

  • Optimisation de requêtes par matérialisation dans un environnement distribué
- Directeur: Nicolas Hanusse et Sofian Maabout

  • Énumération de matrices à signes alternants
- Directeur: J.-C. Aval

  • Codes pondérés dans les graphes réguliers
- Directeur: Paul Dorbec, Ralf Klasing

  • Graphes dynamiques aléatoires pour les plates-formes à grande échelle
- Mots-clés: graphes aléatoires, graphes dynamiques, calcul à grande échelle
- Directeur: Philippe Duchon

  • Graphes arbitrairement sommet-décomposables
- Mots-clés: Graphes, décomposition
- Directeur: Olivier Baudon, Eric Sopéna

  • Sur quelques problèmes de colorations orientées (déjà attribué)
- Mots-clés: Coloration de graphes, coloration orientée, coloration acyclique, coloration impropre, jeu de coloration, produit de graphes
- Directeur: Eric Sopéna

  • Colorations d’incidence (déjà attribué)
- Directeur: Eric Sopéna

  • Energy COnservation ALgorithms (E-COAL)
- Mots-clés: energy efficient communication protocols, dynamic networks
- Directeur: Ralf Klasing / Leszek Gasieniec (University of Liverpool)

  • Information management with multiple mobile agents
- Mots-clés: multi-agent version of the rotor-router, multi-agent problems in dynamic graphs
- Directeur: Adrian Kosowski

  • Algorithmes de graphes pour les télécommunications sans-fil
- Mots-clés: théorie des graphes, algorithmes, télécommunications, programmation linéaire
- Directeur: A. Pêcher

  • Synchronisation et programmation concurrente
- Mots-clés: programmation concurrente, mémoire transactionnelle, algorithmique
- Directeur: Nicolas Hanusse, Alessia Milani


Équipe Image et son

  • analyse automatique de la voix chantée
- Mots-clés: Recherche d'information, traitement automatique de la parole/de la musique
- Directeur: Myriam Desainte-Catherine, Jean-Luc Rouas

  • Etude et développement d'un langage de modélisation de familles de flux musicaux
- Mots-clés: Langage formel, concurrence, synchronisation, temps-réel, structures rythmiques, structures mélodiques et harmoniques
- Directeur: David Janin

  • Analyse de profils musicaux pour la notation et la comparaison
- Mots-clés:analyse sonore, extractions de descripteurs timbraux, validation psychoacoustique
- Directeur: Myriam Desainte-Catherine, Pierre Hanna

  • Représentation et analyse multi-échelle et vectorielle des détails géométriques
- Directeur: Pascal Barla, Xavier Granier

  • Indexation spatio-temporelle avec les descripteurs locaux structurés des flux vidéo du monitoring embarqué des patients
Directeur: Aurélie Bugeau, Jenny Benois-Pineau

  • Analyse conjointe audio/vidéo pour l’analyse de la structure de films
Directeur: Pierre Hanna, Nicolas Henri

  • Solid representation and reconstruction based on Morse theory
''Directeurs: Pascal Desbarats, Stefka Gueorguieva

  • Segmentation 4D d'IRM cardiaques
- Directeur: Pascal Desbarats, Jean-Philippe Domenger

  • Utilisation d'interfaces cerveau-ordinateur passives pour évaluer, concevoir et optimiser des interfaces utilisateurs 3D
- Mots-clés: Interfaces 3D, interfaces cerveau-ordinateur
- Directeur: Fabien Lotte, Martin Hachet

  • Accélération des méthodes de recherche de musique sur les nouvelles architectures.
- Mots-clés: Comparaison de séquences musicales, filtres pour les séquences, indexation de séquences, programmation GPGPU
- Directeur: Pierre Hanna, Pascal Ferraro


Équipe Langages, Systèmes et Réseaux (LSR)

  • Intergiciel de Gestion des Connexions pour Réseaux Virtuels Flexibles sur Internet.
- Mots-clés: LInternet, intergiciel, protocole, connexion, files d'attentes
- Directeur: Damien Magoni

  • Middleware interopérable et sécurisé pour l’internet des choses (Découverte de service et initiation de session sur une flotte hautement volatile de terminaux mobiles communicants)
- Directeur: David Bromberg, Serge Chaumette
  • Adaptation de services dans les réseaux radio cognitive
- Directeur: Hicham Khalife, Francine Krief
  • Cohérence des artefacts logiciels supports à la conception d'applications internet
- Directeur: Xavier Blanc

Équipe Méthodes Formelles

  • Etude et développement d'un langage de modélisation de familles de flux musicaux
- Mots-clés: Langage formel, concurrence, synchronisation, temps-réel, structures rythmiques, structures mélodiques et harmoniques
- Directeur: David Janin

  • Extracting structure from low-level code
Directeur: Aymeric Vincent, Olivier Ly, Igor Walukiewicz

  • La quantification: une confrontation entre modèles logiques et linguistique expérimentale
- Mots-clés: logique, modèles, preuves, langage naturel
- Directeur: Christian Rétoré

  • Définition formelle d'un formalisme linguistique pour le Traitement Automatique des Langues
- Directeur: Lionel Clément, Christian Rétoré


Équipe Modèles et algorithmes pour la bioinformatique et la visualisation

  • Filtres pour la recherche de similarités dans des structures arborescentes: application aux ARN
- Directeur: Julien Allali/Pascal Ferraro

  • Optimisation de requêtes par matérialisation dans un environnement distribué
- Directeur: Nicolas Hanusse et Sofian Maabout

  • Computational models of genome plasticity
- Directeur: Elisabeth Bon, David Sherman

  • Modélisation in-silico des interactions protéiques avec des structures vasculaires impliquées dans des lésions inflammatoires du système nerveux central
- Directeur: Macha Nikolski


Équipe Support et Algorithmes pour les Applications Numériques Hautes performances (Satanas)

  • Algorithmes numériques robustes pour la simulation exascale
- Mots-clés: Calcul Haute-Performance, simulation à grande échelle, résilience, parallélisme many-core
- Directeur: Emmanuel Agullo et Luc Giraud en collaboration avec Abdou Guermouche et Jean Roman

  • Placement d’applications hybrides sur machine non-uniformes multicœurs
- Directeur: Emmanuel Jeannot et Guillaume Mercier

  • Scalabilité et robustesse des solveurs hybrides pour machines parallèles exa-scale
- Directeur: Pierre Ramet, François Pellegrini

  • Composabilité de codes parallèles sur architectures hétérogènes
- Directeur: Abdou Guermouche, Paul-André Wacrenier, Raymond Namyst

  • Scalabilité et robustesse numérique des solveurs hybrides pour machines parallèles exa-scale
- Mots-clés: Algèbre linéaire creuse, calcul haute performance, méthode hybride directe-itérative
- Directeur: Pierre Ramet

  • Modèles de programmation pour les architectures distribuées hétérogènes
- Mots-clés: ordonnancement, support exécutif, réseau, multi-coeur, langages à directives, calcul intensif
- Directeur: Olivier Aumage, Samuel Thibault
- Directeur habilité: Raymond Namyst

  • Développement d’une plateforme hétérogène flexible pour les System-On-Chip hybrides utilisant des unités de calcul programmable et des accélérateurs matériels.
- Directeur: Emmanuel Jeannot


Propositions de laboratoires extérieurs

  • Propositions de thèses en Espagne.

Rien pour l'instant.

Page mise à jour le 21/06/2011 à 20:07