École doctorale de mathématiques et informatique
Nouveaux doctorants – année 2006 – 2007
BALDACCI Fabien (LABRI,
dir. A. Braquelaire), Représentation et segmentation d'images 3D.
BARUSSEAU Benoît (LaBAG,
dir. E. Strouse), Etude de certains opérateurs de Henkel sur l'espace de
Hardy du polydisque.
BILLAUD Marie (MAB,
dir. B. Nkonga), Méthodes numériques pour la simulation des mélanges de
liquides avec changement de phase.
CANIART Nicolas (LABRI,
dir. M. Zeitoun), Vérification logicielle par analyse statique et
méthodes symboliques.
CHALOUF Mohamed (LABRI,
dir. F. Krief), La sécurisation des échanges électroniques.
CHERVET Patrick (LABRI,
dir. I. Walukiewicz), Sémantique des jeux et vérification de programmes
d'ordre supérieur.
DAMBRINE Julien (MAB,
dir. Th. Colin), Analyse de mélanges
de fluides complexes en microcanaux.
DECLE Fabric (LABRI,
dir. P. Guitton et M. Hachet), Interactions 3D sur terminaux mobiles.
DEPEYRAS Delphine (MAB,
dir. C.H. Bruneau), Contrôle de l'écoulement autour d'une géométrie
simplifiée d'automobile.
DREY Zoé (LABRI, dir. Ch. Consel), Méthodes
et techniques pour la construction de langages métiers dans une approche
d'ingénierie dirigée par les modèles.
DUCLOUS Roland (MAB,
dir. B. Dubroca), Etude de l'influence des champs magnétiques intenses
dans les plasmas relativistes générés par laser.
FAVERGE Mathieu (LABRI,
dir. J. Roman et R. Namyst), Conception et validation d'un mode d'interaction entre
supports exécutifs et environnements applicatifs.
GAIDAMOUR Jérémie (LABRI,
dir. J. Roman et P. Hénon), Solveurs linéaires 3D hybrides pour architectures
parallèles hautes performances.
GALLIZIO Federico (MAB,
dir. A. Iollo), Contrôle d'écoulements décollés.
JAUMOUILLE Elodie (MAB,
dir. P. Fabrie), Contrôle de l'état hydraulique dans un réseau d'eau
potable.
JOLLY Danaëlle (MAB,
dir. C.M. Brauner), Modélisation de l'interaction entre le vin et le
système immunitaire.
JOUDIOUX Jérémie (MAB,
dir. J.P. Nicolas), Comportement asymptotique des champs spinoriels en
relativité générale : une approche conforme.
KAUSHIK
Aditya (MAB, dir. J. Henry), Factorization
of elliptic boundary value problems and their applicationin mesh optimization.
KNODEL Sebastian (LABRI,
dir. P. Guitton et M. Hachet), Visualisation and interaction with mobile and invasive
technology.
KUENTZ Vanessa (MAB,
dir. J. Saracco (Bdx 4) et M. Chavent), Modélisation factorielle pour la séparation et la
quantification de sources.
LARAT Adam (MAB, dir. R. Abgrall), Conception
et analyse de schémas d'ordre très élevé distributant le résidu. Application à
la mécanique des fluides.
LATHUILIERE Bruno (LABRI,
dir. J. Roman), Calcul haute performance : application et parallélisation
sur un grand nombre de processeurs.
LOMBARDI Eodardo (MAB,
dir. A. Iollo), Méthodes numériques pour la modélisation et
l'identification d'écoulements 3D.
MARTIN Anthony (A2X,
dir. J.F. Jaulent), K-théorie des corps de nombres.
MERCADAL Julien (LABRI,
dir. Ch. Consel), Vérification et extraction de vues pour un langage
métier.
MERQ Bruno (LABRI, dir. Ch. Retoré), Modélisation
de la sémantique lexicale dans la théorie des types.
MORAND Claire (LABRI,
dir. J. Benois-Pineau et J.P. Domenger), Segmentation spatio-temporelle dans le domaine des
représentations hiérarchiques.
MORRA Anna (A2X, dir. K. Belabas), Orbites
entières de représentations préhomogènes.
PHAN QUANQ Trung Tiên (LABRI, dir. M. Delest), Visualisation et
navigation multi-niveaux de réseaux sociaux.
RUAULT Bertrand (A2X,
dir. E. Kowalski), Nombres premiers de la forme X2+MY
SYNAVE Rémi (LABRI, dir. A. Braquelaire), Surfaces et solides de subdivision.
TRAHAY François (LABRI,
dir. R. Namyst), Gestion de la réactivité des communications réseau de
bout en bout.
VIEUX Rémi (LABRI, dir. A. Braquelaire et J. Benois-Pineau), Classification des images par des méthodes
d'apprentissage supervisé.