Université Bordeaux 1

Formation doctorale en Informatique

 

Propositions de sujets de thèse

Année 2007-2008

 

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

 

Vous pouvez également contacter un enseignant ou chercheur (Professeur ou Directeur de Recherche) si vous êtes intéressé(e) par un thème de recherche qui n'est pas dans la liste

 

Remarque importante : Ces sujets ne sont pas financés !!! (sauf indication contraire sur la page du sujet).  Les modalités de candidature à une allocation de recherche ministérielle  sont sur le site de l’école doctorale (avant le 20 juin 2007).

 

Dernière modification : 18/06/2007 à 17:41:45

 

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

 

·        Combinatoire et algorithmique

Génération aléatoire

Graphes et applications

Projet VISIDIA

·        Méthodes formelles

Projet SIGNES

Projet VISIDIA

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

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

Projet ScAlApplix (LaBRI - INRIA)

Projet RUNTIME (LaBRI - INRIA)

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

Systèmes et objets distribués (SOD)

Test de systèmes informatisés

Context-aware management and networking (Comet)

Projet Phoenix (LaBRI - INRIA)

·        Image et son

Structuration et analyse d’image

Modélisation et synthèse d’images

Analyse et indexation video

Modélisation du son et de la musique

 

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

 

Équipe Combinatoire et algorithmique

·        Etude de systèmes distribués avec communication par ondes radio

      Yves Métivier              

·        Algorithmes distribués à délai aléatoire

            Nasser Saheb, Akka Zemmari

 

Génération aléatoire

·        Titre: Génération aléatoire et propriétés locales d'objets discrets

      Robert Cori, Philippe Duchon

·        Génération dirigée de mots d’un langage à motif 

Jean-Guy Penaud, Nasser Saheb

Graphes et Applications

·        Graphes Hyperboliques

Cyril Gavoille & Olivier Ly

·        Jeu de coloration

Eric Sopéna

·        Graphes pour les problèmes de placements

Arnaud Pêcher, François Vanderbeck

 

Projet CEPAGE (LaBRI – INRIA)

 

·        Distribution de tâches parallèles indépendantes sur des réseaux à grande échelle (Thèse financée BDI CNRS– Région)

O. Beaumont, Ph. Duchon, N. Bonichon

·        Maintenance dynamique des réseaux logiques et application au  calcul distribué de cubes de données

Cyril Gavoille, Nicolas Hanusse

 

Projet VISIDIA

·        Un environnement de preuves pour  les algorithmes distribués

P. Castéran, M. Mosbah

·        Algorithmes distribués pour les réseaux de capteurs : Etude et implantation à l’aide de visidia.

M. Mosbah, A. Zemmari

·        Machine virtuelle pour la programmation d'algorithmes distribués

M. Mosbah

Retour haut de page

 

Équipe Méthodes Formelles

·        Graphes Hyperboliques

Cyril Gavoille & Olivier Ly

·        Vérification de systèmes critiques asynchrones par abstraction/raffinement de la concurrence

      I. Walukiewicz,  G. Sutre  et F. Herbreteau

·        Stratégies probabilistes dans les jeux discrets

David Janin

·        Propriétés des systèmes de réécritures de termes

Irène Durand

·        CEGAR Model-checking for AltaRica

Alain Griffault & Grégoire Sutre

·        Accelerated Abstract Lattices

Advisors : Jérôme Leroux & Grégoire Sutre

 

 

Projet SIGNES

·        Analyse syntaxique robuste dans les grammaires catégorielles

Richard Moot, Christian Retoré

·        Traitement de la non linéarité en analyse syntaxique

Lionel Clément, Christian Rétoré

·        Dialogue et continuations

Alain Lecomte,  Christian Retoré

·        Grammaires minimalistes : propriétés mathématiques des descriptions linguistiques et implantation

Christian Retoré, Irène Durand

 

Projet VISIDIA

·        Un environnement de preuves pour  les algorithmes distribués

P. Castéran, M. Mosbah

·        Algorithmes distribués pour les réseaux de capteurs : Etude et implantation à l’aide de visidia.

M. Mosbah, A. Zemmari

·        Machine virtuelle pour la programmation d'algorithmes distribués

M. Mosbah

 

 

Retour haut de page

 

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

·      Détection d’empreintes topologiques associées à la perturbation des réseaux métaboliques

David Auber / Guy Melançon

Retour haut de page

 

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

Projet ScAlApplix (LaBRI - INRIA)

·        Efficient Fast Multipole Method for clusters of Cell processors

     Olivier Coulaud et Jean Roman

Projet RUNTIME (LaBRI - INRIA)

·        Mouvement de données et placement des tâches dans les machines de calcul

            Brice Goglin, Raymond Namyst

·        Un environnement de compilation pour le langage OpenMP sur machines multiprocesseurs hiérarchiques

            Raymond Namyst,

·        Exploitation efficace des architectures parallèles de type "grappes de NUMA" à  l'aide de modèles hybrides de programmation.

Olivier Aumage, Guillaume Mercier, Raymond Namyst

·        Traitement Géométrique Adaptatif Parallèle

Christophe Schlick et Raymond Namyst

 

Retour haut de page

 

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

Systèmes et objets distribués (SOD)

·        Un environnement de développement et d’exécution pour la classe des réseaux mobiles de type MANet (Mobile Ad hoc Networks).

Serge Chaumette

·        Multilevel Java Card Grid

Serge Chaumette

 

Test de systèmes informatisés

·        Test de robustesse de systèmes temps réel et de services web

       Richard Castanet et Antoine Rollet

Context-aware management and networking (Comet)

·        Transport et Mobilité des Services Multimédia dans Les Réseaux de Nouvelle Génération

           Toufik Ahmed et Francine Krief 

Projet Phoenix (LaBRI - INRIA)

·        Intégration des langages métiers dans un environnement logiciel

     Charles Consel

 

 

Retour haut de page

 

Équipe Image et son

Structuration et analyse d’image

·        Guidage des thérapies locales mini-invasives sur les organes  soumis à des déformations complexes

Jenny Benois-Pineau, Pascal Desbarats

·        Reconstruction d'images scanner et microscanner à rayons X  par transformées discrètes

Achille Braquelaire, Pascal Desbarats

·        Analyse 4D de l'élasticité bronchique

Achille Braquelaire et Pascal Desbarats

 

Modélisation et synthèse d’images – Projet Iparla (LaBRI – INRIA)

·        Vers une nouvelle chaîne graphique pour des applications nomades

     Pascal Guitton et Xavier Granier

·        Réalité Augmentée sur terminaux mobiles communicants (PDA, Téléphone)

Jean-Christophe Gonzato et Pascal Guitton

·        Traitement Géométrique Adaptatif Parallèle

Christophe Schlick et Raymond Namyst

·        Synthèse Géométrique Interactive

Christophe Schlick

 

 

Analyse et indexation video

·        Indexation vidéo collaborative

     Jenny Benois-Pineau

·        Analyse sémantique de la trajectoire d’objets dans une vidéo dans un contexte temps réel (Thèse CIFRE)

      Henri Nicolas

·        Correction d'erreurs de transmission au sien d'un flux vidéo  compressé MPEG basée sur une analyse par régions au décodeur

      Henri Nicolas

·        « Abstraction vidéo : résumé pour adaptation de contenu »

      Jenny Benois-Pineau

·        Indexation de la vidéo de surveillance dans l'environnement multi-capteurs 2D (Thèse financée BDI CNRS– Région)

Jenny Benois-Pineau et Henry Nicolas

·         Indexation cross-média des documents audio-visuels sous forme numérique

M. Desainte-Catherine, J. Benois-Pineau

 

Modélisation du son et de la musique

·        Modélisation hiérarchique d'instruments virtuels liant micro et macro-structures musicales.

           Myriam Desainte-Catherine et Martin Hachet

·        Interaction entre l’Homme, l’image et le son

      Myriam Desainte-Catherine, Martin Hachet et Jean-Michel Couturier

   Retour haut de page

 

Propositions de laboratoires extérieurs

·        Thèses CEMAFREF 2007  www.cemagref.fr

·         Thèses à l’IFP (Institut Français du Pétrole)   www.ifp-school.com

   Retour haut de page

 

Liens

http://www.abg.asso.fr/

http://www.eioe.u-bordeaux1.fr     Espace Information Orientation Emploi – niversité Bordeaux 1