From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Theses: These2012

Université Bordeaux 1
Formation doctorale en Informatique


----------

Propositions de sujets de thèse
Année 2012

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. ADMISSION).

Date limite pour déposer un dossier pour les allocations ministérielles et universitaires MESR (blanches ou fléchées): 18 juin 2012

Financements

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

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 toutes connues à 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. le directeur de thèse doit écrire une lettre de soutien pour la candidature. Cette dernière doit être jointe dans le dossier.
  2. Le candidat joint également une lettre de motivation
  3. Les autres éléments du dossier d'admission à constituer est disponible sur le site de l'école doctorale :: ADMISSION.

Avant de déposer un dossier, bien lire A LIRE AVANT DE FAIRE UNE THESE

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

Équipe Combinatoire et algorithmique

- Mots-clés: algorithmes probabilistes, structures de données randomisees, graphes aléatoires
- Voir le sujet
- Directeur: Philippe Duchon

- Mots-clés: Calcul distribué, Modèles de calcul, Calculabilité
- Voir le sujet
- Directeur: C. travers

- Mots-clés: programmation concurrente, structure de données fortement concurrentes, synchronisation, mémoire transactionnelle, algorithmique, complexité
- Voir le sujet
- Directeur: Alessia Milani et Nicolas Hanusse

- Voir le sujet
- Directeur: Nicolas Hanusse et Sofian Maabout

- Mots-clés: fouille de données, visualisation, algorithmes de graphes
- Voir le sujet
- Directeur: Nicolas Hanusse

- Mots-clés: fouille de données, visualisation, algorithmes de graphes
- Voir le sujet
- Directeur: Romain Bourqui et Nicolas Hanusse


Équipe Image et son

- Mots-clés: Interfaces 3D, interfaces cerveau-ordinateur, expérience utilisateur
- Voir le sujet
- Directeur: Fabien Lotte, Martin Hachet

- Mots-clés: théorie du contrôle, système temps-reel, langages temporisés
- Voir le sujet
- Directeur: David JANIN

- Mots-clés: processus multimedia, relations temporelles, calcul synchrone/asynchrone
- Voir le sujet
- Directeur: Myriam Desainte-Catherine, Pierre Hanna et Matthias Robine

- Mots-clés: Modélisation sous contrainte de réseaux biologiques, analyse de flux métaboliques, graphe, simulation.
- Voir le sujet
- Directeur: M.Beurton-Aimar et S. Colombié

- Mots-clés: Rendu expressif, apparence 3D, acquisition, édition, perception visuelle.
- Voir le sujet
- Directeur: Pascal Barla

- Voir le sujet
- Directeur: Jenny Benois-Pineau

- Voir le sujet
- Directeur: Henri Nicolas


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

- Mots-clés: réseau social, protocoles de sécurité, distribution de clés, VPN
- Voir le sujet
- Directeur: Damien Magoni

- Voir le sujet
- Directeur: Serge Chaumette et Olivier Ly

- Mots-clés: Design language, Static Analysis, Generative Programming, Reliability, Quality of Service
- Voir le sujet
- Directeur: Charles Consel

- Voir le sujet
- Directeur: Xavier Blanc

- Voir le sujet
- Directeur: Xavier Blanc

- Voir le sujet
- Directeur: Laurent Réveillère


Équipe Méthodes Formelles

- Mots-clés: Vector Addition System with States (VASS), Presburger Arithmetic, Semilinearity, Reachability Analysis
- Voir le sujet
- Directeur: Jérôme Leroux et Grégoire Sutre

- Mots-clés: Vector Addition System with States (VASS), Presburger Arithmetic, Semilinearity, Reachability Analysis
- Voir le sujet
- Directeur: Jérôme Leroux et Grégoire Sutre

- Mots-clés: model-checking, automates temporisés, systèmes temps-réel
- Voir le sujet
- Directeur: Igor Walukiewicz et Frédéric Herbreteau

- Mots-clés: Vérification de logiciels, shape analysis, interprétation abstraite
- Voir le sujet
- Directeur: Olivier Ly, Aymeric Vincent, Igor Walukiewicz

- Mots-clés: Automates-Suites-Décidabilité
- Voir le sujet
- Directeur: Géraud Sénizergues

- Mots-clés:Automates-Séries-Transducteurs-Décidabilité.
- Voir le sujet
- Directeur: Géraud Sénizergues


Équipe Modèles et algorithmes pour la bio-informatique et la visualisation

- Mots-clés: Visualisation d'Information, algorithmique de graphe, topologie, interaction/exploration.
- Voir le sujet
- Directeur:Romain Bourqui, David Auber, Jean-Philippe Domenger

- Mots-clés: classification, data-mining, peptides, inflammatory processes
- Voir le sujet
- Directeur: Macha NIKOLSKI (LaBRI) and Klaus PETRY (Inserm U1049)

- Mots-clés: Calcul distribué sur cloud, Fouille de données et classification, Inférence de réseaux biomoléculaires, Génomique comparée, Comparaison de réseaux métaboliques
- Voir le sujet
- Directeur: Macha Nikolski ou Pascal Durrens

- Mots-clés: métagénomique virale, NGS, bioinformatique, méthode d'apprentissage, inférence de motifs, comptage OTU
- Voir le sujet
- Directeur: Macha Nikolski et Patricia Thébault

- Mots-clés: visualisation, réécriture de graphe, graphes dynamiques
- Voir le sujet
- Directeur: Bruno Pinaud, Guy Melançon

- Mots-clés: fouille de données, visualisation, algorithmes de graphes
- Voir le sujet
- Directeur: Nicolas Hanusse

- Mots-clés: fouille de données, visualisation, algorithmes de graphes
- Voir le sujet
- Directeur: Romain Bourqui et Nicolas Hanusse



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

- Mots-clés: Architectures hétérogènes, NUMA, Placement statique, Repartitionnement dynamique
- Voir le sujet
- Directeur: François PELLEGRINI


Propositions de laboratoires extérieurs

- iMdea

Rien pour l'instant.

Récupéré sur http://www.labri.fr/index.php?n=Theses.These2012
Page mise à jour le 14/06/2012 à 13:59