Page d'accueil
Sommaire

Institut de Mathématiques de Luminy

Liste des thèses
SOUTENUES DURANT LA PÉRIODE 1998-2002

23 Docteurs en Mathématiques

Noms-prénoms

Titre de la thèse

Directeur de Thèse

Date d'obtention

Devenir des
thésards

ABERKANE Ali

Combinatoire des mots infinis de faible complexité.

P. ARNOUX / J. CAISSAIGNE
(DAC)

24/05/2002

Post-doc

BAILLOT Patrick

Approches dynamiques en sémantique de la logique linéaire : jeux et géométrie de l'interaction.

J.-Y. GIRARD
(LDP)

22/01/1999

CR CNRS

ANKABOUT Karim

Relations d'orthogonalités de Schur généralisées pour les espaces symétriques réductifs.

P. DELORME
(GNC)

28/10/1999

Situation
précaire

BALLET Stéphane

Étude de la complexité bilinéaire de la multiplication dans les corps finis par interpolation sur des courbes algébriques.

R. ROLLAND
(ATI)

02/11/1998

M. de Conf.
(Tahiti)

BLACHE Régis

Majorations de sommes exponentielles sur les anneaux de Galois.

G. LACHAUD
(ATI)

08/12/2000

ATER (Univ. Guadeloupe)

BRUASSE-BAC Alexandra

La logique linéaire classique du second ordre.

J.-Y. GIRARD
/ T. EHRHARD
(LDP)

18/12/2001

M. de Conf.
(Luminy)

CANTERINI Vincent

Géométrie des substitutions Pisot unitaires.

G. RAUZY
(DAC)

27/01/2000

Assistant Rech.

(Belgique)

CHABERT Jérôme

La conjoncture de Baum-Connes pour le groupe SL3 (Qp).

G.KASPAROV/ R. ZEKRI
(GNC)

13/06/1999

M. de Conf.
(Clermont)

CORNUS Cédric

Nombre de points et cohomologie l-adiques des variétés toriques sur les corps finis.

G. LACHAUD
(ATI)

30/06/2000

Prof. de Prépa.

ÉDOUARD Antoine

Formules explicites et nombre de points des courbes sur les corps finis : le théorème d'Oesterlé.

G. LACHAUD
(ATI)

22/10/1998

Post-doc
(Guadeloupe)

FAGGIAN Claudia

Complétude dénotationnelle en logique linéaire.

J.-Y. GIRARD
(LDP)

Avril 2002

Post-doc

FÉRARD Éric

Poids des duaux des codes BCH et sommes exponentielles.

F. RODIER
(ATI)

26/10/2000

M. de Conf.
(Tahiti)

ISLIM Imane

Sur les unités et les polyèdres de Klein en théorie algébriques des nombres.

G. LACHAUD (ATI)

07/06/2001

ATER

LADURELLI Laetitia

Invariant de Casson et homologie d'intersection.

J.-P. BRASSELET (SGT)

05/04/2001

Sans emploi

LAURENT Olivier

Les réseaux de preuve polarisés.

J.-Y. GIRARD / L. REGNIER (LDP)

11/03/2002

CR CNRS

LIPPI Sylvain

Théorie et pratique des réseaux d'interaction.

Y. LAFONT
(LDP)

Juin 2002

Post-doc

MOGBIL Virgile

Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire.

Y. LAFONT
(LDP)

17/01/2001

M. de Conf.
(Paris)

ROMAGNOLI Pierre-Paul

Contribution à l'étude d'un principe variationnel local pour l'entropie topologique.

F. BLANCHARD
/ A. MAASS
(DAC)

15/01/2002

Post-doc
(Chili)

RUETTE Sylvie

Chaos en dynamique topologique, en particulier sur l'intervalle, mesures d'entropie maximale.

F. BLANCHARD
(DAC)

26/11/2001

Post-doc
(Barcelone)

SIEGEL Anne

Représentations géométrique, combinatoire et arithmétique des systèmes substitutifs de type Pisot.

P. ARNOUX
(DAC)

12/12/2000

CR CNRS

SOUAIFI Sofiane

Fonctions D(G/H)-finies sur un espace symétrique réductif.

P. DELORME
(GNC)

04/07/2001

ATER
(Strasbourg)

TEMKINE Alexandre

Tours de corps de classe de Hilbert pour les corps globaux et applications.

G. LACHAUD
(ATI)

15/12/2000

Prof. de Prépa.

TISSEUR Pierre

Aspects ergodiques des automates cellulaires.

F. BLANCHARD
(DAC)

03/02/1999

Post-doc
(Évry)


Page d'accueil
Sommaire