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 2010-2011

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

Prénom

Nom

Laboratoire

Directeur de thèse

Sujet

Date

Jade

Alglave

INRIA - Équipe projet MOSCOVA

J.-J. Levy et L. Maranget

Poétique de la mémoire partagée

26 novembre 2010

Etienne

Bernard

Laboratoire Jacques-Louis Lions

F. Golse et C. Bardos

Homogénéisation de modèles cinétiques dans des espaces des phases étendus

11 février 2011

Marie

Bernhart

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

H. Pham et P. Tankov

Modélisation et méthodes d'évaluation de contrats gaziers : approches par contrôle stochastique

11 mars 2011

Jacob

Boender

Laboratoire Preuves, Programmes et Systèmes

R. Di Cosmo

Étude formelle des distributions de logiciel libre

24 mars 2011

Charles

Bouillaguet

Département d'Informatique de l'ENS

D. Pointcheval

Sécurité des primitives symétriques en cryptologie

26 septembre 2011

Arnaud

Brothier

Institut de Mathématiques de Jussieu

A. Zuk et J. Vaugham

Algèbres planaires et sous-algèbres maximales abéliennes dans les algèbres de von Neuman

28 septembre 2011

Alberto

Carraro

Laboratoire Preuves, Programmes et Systèmes

A. Bucciarelli et A. Salibra

Modèles et théories du lambda calcul pur et avec ressources

3 mars 2011

Arthur

Chargueraud

Département d'Informatique de l'ENS

F. Pottier

Vérifications de programmes à l'aide de formules caractéristiques

16 décembre 2010

Julien

Cristau

Laboratoire d'Informatique Algorithmique : Fondements et Applications

O. Carton

Jeux et automates sur les ordres

13 décembre 2010

Jérémie

Dardé

Laboratoire Jacques-Louis Lions

F. Jouve

Méthodes de quasi-réversibilité et de lignes de niveau appliquées aux problèmes inverses elliptiques

10 décembre 2010

Filippo

Disanto

Laboratoire d'Informatique Algorithmique : Fondements et Applications

E. Duchi et S. Rinaldi

Problèmes combinatoires sur les polyominoes, permutations et posets

1er octobre 2010

Georg

Fuchsbauer

Département d'Informatique de l'ENS

D. Pointcheval

Signatures automorphes et Applications

13 octobre 2010

Olivier

Gabriel

Institut de Mathématiques de Jussieu

A. Zuk et E. Germain

Cohomologie cyclique périodique des produits croisés généralisés lisses

27 septembre 2011

Martin

Gressing

Institut de Mathématiques de Jussieu

G. Skandalis et J. Cuntz

Foncteurs homologiques des algèbres localement convexes et isomorphisme de Thom

6 mai 2011

Lucio

Guerberoff

Institut de Mathématiques de Jussieu

M. Harris et A. Pacceti

Théorème de modularité pour des groupes unitaires - Modularity lifting theorems for unitary groups

24 août 2011

Nataliya

Guts

INRIA - Équipe projet MOSCOVA

T. Lévy et F. Zappa Nardelli

Auditabilité pour les protocoles de sécurité

11 janvier 2011

Grégoire

Henry

Laboratoire Preuves, Programmes et Systèmes

E. Chailloux et M. Maury

Typer la désérialisation sans sérialiser les types 

17 juin 2011

Thomas

Hugel

Laboratoire d'Informatique Algorithmique : Fondements et Applications

M. Habib et Y. Boufkhad

Estimations de satisfaisabilité

7 décembre 2010

Karel

Klouda

Laboratoire d'Informatique Algorithmique : Fondements et Applications

C. Frougny et E. Pelantova

Non-standard numeration systems and conbinatorics on words

19 novembre 2010

Clément

Lasserre

Institut de Mathématiques de Jussieu

A. Khelif et F. Point

Sur les groupes de type fini : primalité, axiomatisabilité quasi finie et bi-interprétabilité avec l'arithmétique

28 septembre 2011

Wen-Wei

Li

Institut de Mathématiques de Jussieu

J.-L. Waldspurger

Vers une formule des traces stables pour le groupe métaplectique

5 juillet 2011

Miguel

Munoz Zuniga

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

J. Garnier

Méthodes stochastiques pour l'estimation contrôlée de faibles probabilités sur des modèles physiques complexes. Application au domaine nucléaire

25 janvier 2011

Trung Tu

Nguyen

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

D. Picard

Estimation par ondelettes pour des données longitudinales

13 janvier 2011

Pierre-Guy

Plamondon

Institut de Mathématiques de Jussieu

B. Keller

Catégories amassées aux espaces de morphismes de dimension infinie, applications

5 juillet 2011

Aurélien

Rizk

INRIA - Équipe projet CONTRAINTES

F. Fages

Résolution de Contraintes Temporelles pour l'Analyse de Systèmes Biologiques

6 juin 2011

Joseph

Salmon

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

D. Picard et E. Pennec

Agrégation d'estimateur et méthodes à patchs pour le débruitage d'images numériques

9 décembre 2010

Peng

Shan

Institut de Mathématiques de Jussieu

E. Vasserot

Groupes, représentations et géométrie

6 décembre 2010

Julien

Sohier

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

G. Giacomin

Phénomènes d'accrochage et théorie des fluctuations

1er octobre 2010

Alina-Mihaela

Stoica

Laboratoire d'Informatique Algorithmique : Fondements et Applications

M. Habib et C. Prieure

Analyse de la structure locale des grands réseaux sociaux

12 octobre 2010

Yann

Strozecki

Institut de Mathématiques de Jussieu

A.Durand

Complexité d'énumération et décomposition de l'informatique

8 décembre 2010

Mehdi

Tibouchi

Département d'Informatique de l'ENS

D. Naccache et J.-S. Coron

Hachage vers les courbes elliptiques et cryptanalyse des schémas RSA

23 septembre 2011

Thu-Hien

To

Laboratoire d'Informatique Algorithmique : Fondements et Applications

M. Habib

On some graph problems in phylogenetics

15 septembre 2011

Nicolas

Vallée

ENSTA

M. Mauny et B. Monsuez

Conception d'un outil de débogage formel pour systèmes logiciels et matériels selon l'approche Debug as Design

12 juillet 2011

Arnaud

Woiselle

Laboratoire d'Informatique Algorithmique : Fondements et Applications

P. Starck

Diversité morphologique et ses applications à des données de flot optique

23 novembre 2010

34 soutenances de thèse

Corentin Lacombe - 15/02/16

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