École
Doctorale de Mathématiques et Informatique
Propositions
de sujets de thèse en Informatique
Année 2004
Dernière
modification : 1er avril 2004 à 10h45
Classement des sujets par
équipes de recherche, puis éventuellement par thèmes et projets :
· Combinatoire et algorithmique
Projet transversal AMBI (Algorithmes et Méthodes pour la Bio-informatique)
· Logique, automates, algorithmique et applications
· Modélisation, vérification et test de systèmes informatiques
Projet transversal AMBI (Algorithmes et Méthodes pour la Bio-informatique)
· Calcul parallèle et distribué
Projet ScAlApplix (LaBRI - INRIA)
Projet Compose (LaBRI - INRIA)
Projet RUNTIME (LaBRI - INRIA)
Projet AIV, Analyse et Indexation Video
Équipe Combinatoire et algorithmique
· Algorithmes pour 3SAT et autres problèmes NP-complets
J.M. Robson
· Recherche d'informations par agents mobiles
Nicolas Hanusse
· Extraction de connaissances par la combinaison de la visualisation et de techniques de routage
Nicolas Hanusse et Noel Novelli
Laurence
Nigay, David Auber
· Étude des graphes t-couvrants et application à la visualisation
Olivier Baudon et André Raspaud
· Colorations circulaires : algorithmes pour les allocations de ressources
André Raspaud, Arnaud Pêcher
· Représentation implicite pour les graphes de genre borné
Cyril Gavoille
Projet transversal AMBI (Algorithmes et Méthodes pour la Bio-informatique)
Resp. David Sherman
Pascal Ferraro et Serge Dulucq
Équipe Logique, automates, algorithmique et applications
· Structurations hiérarchiques des graphes fondées sur des informations attachées à leurs éléments
Bruno Courcelle
· Constructions logiques pour des classes de graphes
Bruno
Courcelle
·
Verification using traces and net
unfoldings
Igor
Walukiewicz
·
Synthesis for distributed
asynchronous systems
Igor
Walukiewicz
·
Deciding properties of
tree languages
Igor
Walukiewicz et Pascal Weil
· Sémantique et pragmatique computationnelles
Alain Lecomte (UPMF, Grenoble) et Pierre Castéran
Équipe MVTsi (Modélisation, Vérification et Test de Systèmes Informatiques)
· Techniques de spécification et de test pour les composants logiciels de communication
Richard
Castanet, Patrick Félix
· Vérification symbolique et abstraction automatique de systèmes critiques hétérogènes
André Arnold, Frédéric Herbreteau, Grégoire Sutre
· Logique de Presburger sur les réels et langages rationnels de mots finis
André Arnold, Jean-Michel Couvreur
André Arnold, Alain Griffault, Frédéric Herbreteau
· Un cadre général pour la vérification de systèmes infinis probabilistes
André Arnold, Jean-Michel Couvreur, Grégoire Sutre
Projet transversal AMBI (Algorithmes et Méthodes pour la Bio-informatique)
Resp. David Sherman
Pascal Ferraro et Serge Dulucq
Équipe Calcul parallèle et distribué
Projet ScAlApplix (LaBRI - INRIA)
François Pellegrini et Jean Roman
· Analyse et parallélisation efficace de méthodes de type A.M.R
Olivier Coulaud et Jean Roman
Olivier
Coulaud, Juan Elezgaray (IECB)
Olivier Coulaud et Jean Roman
Projet Compose (LaBRI - INRIA)
· Développement de services de téléphonie sûrs : du domaine à l'application
Charles Consel et Laurent Réveillère
· Modèle de langages de programmation à capacités
Charles Consel et Laurent Réveillère
· Performance d'une plate-forme de signalisation et modèle de coût de services de téléphonie
Charles Consel et Laurent Réveillère
Projet RUNTIME (LaBRI - INRIA)
· Ordonnancement et optimisation des schémas de communicationd'applications parallèles
Raymond Namyst et Olivier Aumage
· Ordonnancement de threads sur machines à organisation hiérarchique
Raymond Namyst et Pierre-André Wacrenier
· Représentation et segmentation d'images 3D
Achille Braquelaire et Pascal Desbarats
· Modèles discrets évolutifs. Application à la segmentation d'images biomédicales
Achille Braquelaire, Jacques-Olivier Lachaud
Xavier Granier / Christophe Schlick
Projet AIV, Analyse et Indexation Video
Jenny Benois-Pineau, Jean-Philippe Domenger