Université Bordeaux 1

Formation doctorale en Informatique

 

Propositions de sujets de thèse

Année 2008-2009

 

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

Pour candidater sur ces sujets, il faut contacter les directeurs de thèse

 

Dernière modification : 19/05/2008 à 17:43:58

 

Classement des sujets par équipes de recherche, puis éventuellement par thèmes et projets :

 

·        Combinatoire et algorithmique

·        Méthodes formelles

·         Modèles et algorithmes pour la bioinformatique et la visualisation

·        Support et algorithmes pour les applications numériques hautes performances (Satanas)

·        Langages, systèmes et réseaux (LSR)

·        Image et son

 

Nous recevons également des propositions de sujets d’autres laboratoires.

 

Équipe Combinatoire et algorithmique

·         Modélisation et étude de la puissance des systèmes distribués avec communication par liaison radio

      Yves Métivier

Graphes et Applications

·         Algorithmes et structures de données distribuées pour les graphes k-chemin séparables.  Financé par une allocation ministérielle fléchée - 2008

Cyril Gavoille

·        Flots circulaires

 André Raspaud, Mickaël Montassier

·        Graphes arbitrairement décomposables

 Olivier Baudon, Cyril Gavoille

Projet VISIDIA

·         Environnement de preuves d'algorithmes distribués.  Financé par une allocation ministérielle fléchée - 2008

Mohamed Mosbah, Pierre Castéran

 

·         Réseaux de capteurs : Algorithmes distribués et implantations

Mohamed Mosbah, Akka Zemmari

Retour haut de page

 

Équipe Méthodes Formelles

·        Stratégies de réécriture. Financé par une allocation ministérielle fléchée - 2008

  Géraud Sénizergues, Irène Durand

 

·         Externalisation et mobilité de code exécutable sécurisé.  Financé par une bourse CNRS-Région Aquitaine (Conditions et Dossier à télécharger pour candidater et à envoyer à : Direction du LaBRI (candidature BDI) – 351 Cours de la Libération 33405 Talence.  Date limite : 22 mai 2008)

Renseignements : Olivier Ly (Ly@labri.fr), Serge Chaumette (Chaumette@labri.fr)

 

Projet VISIDIA

·        Environnement de preuves d'algorithmes distribués. Financé par une allocation ministérielle fléchée - 2008

Mohamed Mosbah, Pierre Castéran

 

·        Réseaux de capteurs : Algorithmes distribués et implantations

M. Mosbah, Akka Zemmari

 

 

Retour haut de page

 

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

Retour haut de page

·        Architecture des plantes et auto-similarité. Financé par une allocation BQR – Bordeaux 1

P. Ferraro  / S. Dulucq

 

·        Analyse symbolique de données multi-génomiques dans un cadre RDF réparti

D. Sherman , P. Durrens

 

·        Modélisation et simulation de systèmes hybrides complexes avec application à la conception d'usines cellulaires

Macha Nikolski , David Sherman

 

·        Mesures et algorithmes de fragmentation multi-échelle de grands ensembles de données

Maylis Delest,  Jean-Marc Fédou

 

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

Projet ScAlApplix (LaBRI - INRIA)

·        Redistribution dynamique parallèle efficace de la charge pour les problèmes numériques de très grandes tailles     Financé par une bourse CNRS-Région Aquitaine (Conditions et Dossier à télécharger pour candidater et à envoyer à : Direction du LaBRI (candidature BDI) – 351 Cours de la Libération 33405 Talence.  Date limite : 22 mai 2008)

Directeurs de thèse : François Pellegrini (pelegrin@labri.fr), Jean Roman (roman@labri.fr)

Projet RUNTIME (LaBRI - INRIA)

 

Retour haut de page

 

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

Systèmes et objets distribués (SOD)

Context-aware management and networking (Comet)

·        Convergence des environnements hétérogènes multiservices pour les réseaux domestiques et leurs extensions Financé par une allocation BQR – Bordeaux 1

D. Négru, F. Krief

 

·         Externalisation et mobilité de code exécutable sécurisé.

Olivier Ly, Serge Chaumette

 

Retour haut de page

 

Équipe Image et son

Structuration et analyse d’image

·        Segmentation Multi-Agents en Imagerie Biologique et Médicale. Financé par une allocation BQR – Bordeaux 1

Marie Beurton-Aimar, Achille Braquelaire et Pascal Desbarats

Modélisation du son et de la musique

·        Partitions interactives structurées : vers une modélisation hiérarchique liant micro et macro-structures musicales

Myriam Desainte-Catherine

·        Modélisation d'informations musicales.

Pierre Hanna, Myriam Desainte-Catherine

 

Indexation vidéo

·        Indexation de la vidéo portée : application à l’étude épidémiologique des démences

Jenny Benois-Pineau, Jean-Philippe Domenger

Retour haut de page

 

Propositions de laboratoires extérieurs

·        Modèle de couplage FlowVR pour la performance des applications multi-échelle et multi-physique

Sebastien Limet, sophie Robert Université d’Orléans - LIFO

·        Étude d'objets combinatoires de grande taille - applications à la bio-informatique

Vincent Vajnovszki,  Olivier Togni, LE2I - Dijon