From LaBRI - Laboratoire Bordelais de Recherche en Informatique

Theses: These2012

Université Bordeaux 1
Computing Ph.D. School


----------

Thesis subject offers
2012

This list is updated at each arrival of a new offer. This page should be consulted regularly.

Application procedures for ministerial research funding are on the School's site (cf. Offres de Thèses).

Final date for submitting an application for ministerial or university funding (BQR, open or directed): End June 2012

Funding

Thesis funding is essentially of two types:

Because of the multiplicity of types of funding (university, CNRS, INRIA, Region, CIFRE, ANR, DGA, ...), the possibilities of funding are not all known at the same date.

You can apply for 2 thesis subjects provided you indicate the order of priority between the two.

How to apply?

  1. Contact the thesis supervisor for his agreement.
  2. The necessary documents are available on the School's web site:
* For ministerial and university funding: cf. Offres de Thèses.
* For other sources (ANR, Region, DGA, CIFRE, ...): cf. Admission.

Applications should be sent to: 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 https://www.labri.fr/index.php?n=Theses.These2012
Page mise à jour le 14/06/2012 à 13:59