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

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

Prénom

Nom

Laboratoire

Directeur de thèse

Sujet

Date

Hervé

Baumann

Laboratoire d'Informatique Algorithmique : Fondements et Applications

P. Fraigniaud

Diffusion décentralisée d'information dans les systèmes distribués

24 septembre 2012

Djamal

Belazzougui

Laboratoire d'Informatique Algorithmique : Fondements et Applications

M. Raffinot

Structures compactes pour l'indexation de données

27 novembre 2011

Olivier

Benoist

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

O. Debarre

Espaces de modules d’intersections complètes lisses

10 février 2012

Olivier

Blazy

Département d'Informatique de l'ENS

D. Pointcheval

Preuves de connaissance interactives et non-interactives

27 septembre 2012

Carmine

De Franco

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

H. Pham

Deux études en gestion du risque : assurance de portefeuille avec contrainte en risque et couverture quadratique dans les modèles à sauts

29 juin 2012

Guillaume

Delalleau

Laboratoire d'Informatique Algorithmique : Fondements et Applications

V. Berthé

Substitutions sur la droite et dans le plan

17 novembre 2011

Mehdi

Dogguy

Laboratoire Preuves, Programmes et Systèmes

R. Amadio

Déterminisme et confluence dans des systèmes concurrents et synchrones

27 janvier 2012

Cezara

Dragoi

Laboratoire d'Informatique Algorithmique : Fondements et Applications

A. Bouajjani

Vérification automatique de programmes avec mémoire dynamique et données infinies

8 décembre 2011

Bertrand

Duma

Institut de Mathématiques de Jussieu

D. Rössler

Vers la forme générale du théorème de Grothendieck-Riemann-Roch

26 septembre 2012

Paul

Gassiat

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

H. Pham

Modélisation du risque de liquidité et méthodes de quantification appliquées au contrôle stochastique séquentiel

7 décembre 2011

Stéphane

Glondu

Laboratoire Preuves, Programmes et Systèmes

R. Di Cosmo

Vers une certification de l’extraction de Coq

1er juin 2012

Lingyan

Guo

Institut de Mathématiques de Jussieu

B. Keller

Catégories amassées supérieures et frises tropicales

16 mai 2012

Xavier

Koegler

Laboratoire d'Informatique Algorithmique : Fondements et Applications

P. Fraigniaud

Population protocols, games, and large populations

13 septembre 2012

Sébastien

Labbé

Laboratoire d'Informatique Algorithmique : Fondements et Applications

V. Berthé

Structure des pavages, droites discrètes 3D et combinatoire des mots

4 mai 2012

Trafim

Lasy

Institut de Mathématiques de Jussieu

J. Michel

Traces de Markov spéciales et formule de Gomi pour les groupes de réflexion

2 février 2012

Pierre

Le Boudec

Institut de Mathématiques de Jussieu

R. de la Bretèche

Répartition des points rationnels sur certaines surfaces de del Pezzo

6 juillet 2012

Élodie

Leducq

Institut de Mathématiques de Jussieu

J.-F. Mestre

Autour des codes Reed-Muller généralisés

6 décembre 2011

Séverine

Maingaud

Laboratoire Preuves, Programmes et Systèmes

A. Miquel et V. Balat

Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références

13 décembre 2011

Delphine

Masgana

Département d'Informatique de l'ENS

D. Pointcheval

Injection de fautes et de logiciels sur les implémentations cryptographiques

5 juillet 2012

Jean-Baptiste

Monnier

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

D. Picard

Quelques contributions en classification, régression et étude d'un problème inverse en finance

6 décembre 2011

Hoang-Thach

Nguyen

Laboratoire d'Informatique Algorithmique : Fondements et Applications

J. Mairesse

Réseaux de Petri stochastiques à forme produit

18 avril 2012

Gonenc

Onay

Institut de Mathématiques de Jussieu

F. Delon et F. Point

Modules valués en vue d'applications à la théorie des corps valués de caractéristique positive

1er décembre 2011

Nicolas

Pouillard

INRIA - Équipe projet GALLIUM

F. Pottier

Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs

13 janvier 2012

Fan

Qin

Institut de Mathématiques de Jussieu

B. Keller

Algèbres amassées quantiques acycliques

11 mai 2012

Tahina

Ramananandro

INRIA - Équipe projet GALLIUM

X. Leroy

Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée

10 janvier 2012

Max

Rempel

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

O. Debarre

Positivité des cycles dans les variétés algébriques

28 septembre 2012

Fabien

Renaud

Laboratoire Preuves, Programmes et Systèmes

D. Kesner

Les ressources explicites vues par la théorie de la réécriture

7 décembre 2011

Mauricio

Soto

Laboratoire d'Informatique Algorithmique : Fondements et Applications

L. Viennot et F. de Montgolfier

Quelques propriétés topologiques des graphes et applications à internet et aux réseaux

2 décembre 2011

Rémi

Strullu

Institut de Mathématiques de Jussieu

B. Velickovic

Principe de réflexion MRP, propriétés d'arbres et grands cardinaux

21 septembre 2012

Dimitrios

Vlitas

Institut de Mathématiques de Jussieu

S. Todorcevic

Contribution à la théorie de Ramsey en dimension infinie

23 juillet 2012

Matteo

Zanioli

Département d'Informatique de l'ENS

R. Cousot

Information Flow Analysis by Abstract Interpretation

12 mars 2012

31 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