Aller au contenu Aller au menu Aller à la recherche

accès rapides, services personnalisés
ED 386
École doctorale de Sciences Mathématiques de Paris Centre

Thèses soutenues à l'université Paris-Diderot en 2009-2010

Thèses de mathématiques soutenues à l'université Paris-Diderot en 2009-2010

Prénom

Nom

Laboratoire

Directeur de thèse

Sujet

Date

Dimitri

Ara

Institut de Mathématiques de Jussieu

G. Maltsiniotis

Sur les infini-groupoïdes de Grothendieck et une variante infini-catégorique

10 septembre 2010

Mohamed

Atig

Laboratoire d'Informatique Algorithmique : Fondements et Applications

A. Bouajjani

Vérification de Programmes Concurrents : Décidabilité et Complexité

3 juin 2010

Mathilde

Bouvel

Laboratoire d'Informatique Algorithmique : Fondements et Applications

D. Rossin et R. Pinzani

Quelques problèmes combinatoires et algorithmiques sur les classes de permutations

4 décembre 2009

Claire

Chavaudret

Institut de Mathématiques de Jussieu

H. Eliasson

Réductibilité des cocycles quasi-périodiques

11 février 2010

Céline

Chevalier

Département d'Informatique de l'ENS

D. Pointcheval

Étude de protocoles cryptographiques à base de mots de passe

3 décembre 2009

Pierre

Clairambault

Laboratoire Preuves, Programmes et Systèmes

P.-L. Curien

Logique et interaction : une étude sémantique de la totalité

19 février 2010

Pierre-Malo

Denielou

Institut de Mathématiques de Jussieu

J.-J. Levy

Sûreté des abstractions et sessions sécurisées dans les langages distribués

25 janvier 2010

Laura

Desideri

Institut de Mathématiques de Jussieu

F. Helein

Problème de Plateau, équations fuchsiennes et problème de Riemann-Hilbert

4 décembre 2009

David

Duris

Laboratoire de Logique Mathématique

A. Durand

Acyclicité des hypergraphes et liens avec la logique sur les structures relationnelles finies

25 novembre 2009

Karim

Er-Rhaimini

Laboratoire de Logique Mathématique

B. Velickovic

Constructions par forcing d’espaces LCS et de structures PCF

22 décembre 2009

Elena

Giachino

Laboratoire Preuves, Programmes et Systèmes

G. Castagna

Semantic foundations and object-oriented applications

9 décembre 2009

Stéphane

Gimenez

Laboratoire Preuves, Programmes et Systèmes

T. Ehrhard

Programmes, Calculer et Raisonner avec les réseaux de la Logique Linéaire

16 décembre 2009

Christophe

Gomez

Laboratoire de Probabilités et Modèles Aléatoires

J. Garnier

Propagation et retournement temporel des ondes dans les guides d’ondes aléatoires

3 décembre 2009

Malika

Izabachene

Département d'Informatique de l'ENS

D. Pointcheval

L'anonymat dans les protocoles cryptographiques

1er octobre 2009

Runqiang

Jian

Département de Mathématiques et Applications de l'ENS

M. Rosso et X. Zhu

Théorie de Chern-Weil sous les groupes quantiques

9 octobre 2009

Zhi

Jiang

Département de Mathématiques et Applications de l'ENS

O. Debarre

Sur l'application d'Albanese des variétés algébriques et le cône nef des produits symétriques de courbes

25 mai 2010

Nabil

Kahouadji

Institut de Mathématiques de Jussieu

F. Helein

Lois de conservation et plongements isométriques généralisés

22 octobre 2009

Idris

Kharroubi

Laboratoire de Probabilités et Modèles Aléatoires

X.-H. Pham

EDS rétrograde et contrôle stochastique séquentiel en temps continu en finance

1er décembre 2009

Hubert

Lacoin

Laboratoire de Probabilités et Modèles Aléatoires

G. Giacomin

Désordre et phénomènes de localisation

19 octobre 2009

Anna Chiara

Lai

Laboratoire d'Informatique Algorithmique : Fondements et Applications

C. Frougny et P. Loreti

On expansions in non-integer bases

9 mars 2010

Emmanuel

Lepage

Département de Mathématiques et Applications de l'ENS

Y. André

Géométrie anabélienne tempérée

4 décembre 2009

Gaëtan

Leurent

Département d'Informatique de l'ENS

D. Pointcheval

Construction et Analyse de Fonctions de Hachage

30 septembre 2010

Thomas

Lim

Laboratoire de Probabilités et Modèles Aléatoires

M.-C. Kammere-Quenez

Quelques applications du contrôle stochastique aux risques de défaut et de liquidité

7 juillet 2010

Karim

Lounici

Laboratoire de Probabilités et Modèles Aléatoires

A. Tsybakov

Estimation statistique en grande dimension, parcimonie et inégalités d'oracle

24 novembre 2009

Gilles

Macario-Rat

Département d'Informatique de l'ENS

J. Stern

Cryptanalyse de schémas multivariés et résolution d'un problème d'Isomorphisme de Polynôme

28 juin 2010

Gregorio

Moreno Flores

Laboratoire de Probabilités et Modèles Aléatoires

F. Comets

Modèles de polymères dirigé en milieux aléatoires

3 juin 2010

Thi Kim Ngan

Nguyen

Institut de Mathématiques de Jussieu

B. Kahn

Modules de cycles et classes non ramifiées sur un espace classifiant

9 juillet 2010

Diego

Perino

INRIA - Équipe projet GYROWEB

L. Viennot et F. Mathieu

Algorithmes d'allocation de ressources pour le streaming en P2P

16 novembre 2009

Hoang Anh

Phan

Laboratoire d'Informatique Algorithmique : Fondements et Applications

P. Fraignaud

Équilibrage de charge et diffusion multicast dans les systèmes pair-à-pair

29 septembre 2010

Mauro

Piccolo

Laboratoire Preuves, Programmes et Systèmes

P.-L. Curien

Linearity and behind in demotational semantics

9 décembre 2009

Vincent

Pilaud

Département d'Informatique de l'ENS

M. Pocchiola et F. Santos Leal

Multitriangulations, pseudotriangulations et quelques problèmes de réalisation de polytopes

3 septembre 2010

Jean-François

Planchat

Institut de Mathématiques de Jussieu

A. Zuk

Groupes d'automates et C* algèbres

21 septembre 2010

Benoît

Razet

INRIA - Équipe projet CRISTAL

G. Huet

Machines d'Eilenberg effectives

26 novembre 2009

Vivien

Ripoll

Département de Mathématiques et Applications de l'ENS

D. Bessis

Groupe de réflexion, géométrie du discriminant et partitions non-croisées

9 juillet 2010

Ismael

Souderes

Institut de Mathématiques de Jussieu

L. Schneps

Motifs de Tate mixtes et éclatements à la Mac Pherson-Procesi (Une application aux valeurs zêta multiples motiviques)

7 décembre 2009

Christine

Tasson

Laboratoire Preuves, Programmes et Systèmes

P.-L. Curien et T. Ehrhard

Sémantique et syntaxe vectorielles de la logique linéaire

4 décembre 2009

Andreas

Tielmann

Laboratoire d'Informatique Algorithmique : Fondements et Applications

C. Delporte et H. Fauconnier

Conditions minimales pour l'accord tolérant aux pannes

7 mai 2010

Jean-Baptiste

Tristan

INRIA - Équipe projet GALLIUM

X. Leroy

Vérification formelle de validateurs de traduction

6 novembre 2009

Paul James

White

Institut de Mathématiques de Jussieu

M. Harris

Le produit tensoriel automorphe et l'endoscopie sur le groupe unitaire

24 septembre 2010

Jiang

Zhang

Institut de Mathématiques de Jussieu

M. Rosso et N. Hu

Certains aspects de l'homologie cyclique et les algèbres de quasi-battage quantiques

1er juin 2010

40 soutenances de thèse

Corentin Lacombe - 15/02/16

Traductions :

    Contact

    École Doctorale de Sciences Mathématiques de Paris Centre

     

    Université Pierre et Marie Curie (Paris 6)

    Tours 15-25, 1er étage, Bureau 1.15

    4, Place Jussieu - 75252 Paris cedex 05

    Boîte courrier 290

    Courriel : Jean-François Venuti (jean-francois.venuti @ upmc.fr)

    Tél : 01 44 27 85 67

     

    Université Paris Diderot (Paris 7)

    Bât. Sophie Germain hall 1, 5ème étage, bureau 5056

    Entrée à l'angle avenue de France/rue Alice Domon et Léonie Duquet

    75205 Paris cedex 13

    Case courrier 7012

    Courriel : Élise Delos (ufr-ed386 @ math.univ-paris-diderot.fr)
    Tél : 01 57 27 92 13
    Fax : 01 57 27 91 40