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

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

Prénom

Nom

Laboratoire

Directeur de thèse

Sujet

Date

Pierre

Aboulker

Laboratoire d'Informatique Algorithmique : Fondements et Applications

N. Trotignon

Excluding slightly more than a cycle

25 juin 2013

Thibaut

Balabonski

Laboratoire Preuves, Programmes et Systèmes

D. Kesner

La pleine paresse, une certaine optimalité. Partage de sous-termes et Stratégies de réduction en Récriture d'ordre supérieur

16 novembre 2012

Hnia

Ben Braiek

Institut de Mathématiques de Jussieu

G. Bourdaud et M. Ben Slimane

Espaces gentils et analyse de régularité

22 janvier 2013

Erwan

Biland

Institut de Mathématiques de Jussieu

M. Broué

Représentations modulaires et structure locale des groupes finis

26 avril 2013

Alexandre

Bouayad

Institut de Mathématiques de Jussieu

D. Hernandez

Algèbres Enveloppantes Quantiques Généralisées, Algèbres de Kac-Moody Colorées et Interpolation de Langlands

8 juillet 2013

Ismaël

Bouya

Institut de Mathématiques de Jussieu

D. Gérard-Varret

Instabilités en magnétohydrodynamique

10 juin 2013

Raphaël

Carroy

Institut de Mathématiques de Jussieu

J. Duparc

Fonctions de première classe de Baire

25 juillet 2013

Thierry

Combot

Institut de Mécanique Céleste et de Calcul des Éphémérides

A. Albouy

Non-intégrabilité algébrique et méromorphe de problèmes de n corps et de potentiels de degré -1

7 décembre 2012

Émilie

Coupechoux

Département d'Informatique de l'ENS

F. Baccelli

Analyse de grands graphes aléatoires

10 décembre 2012

Xin

Fang

Institut de Mathématiques de Jussieu

M. Rosso

Autour des algèbres de battages quantiques : idéaux de définition, spécialisation et cohomologie

25 octobre 2012

Ennio

Fedrizzi

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

J. Garnier

Partial differential equations and noise

13 décembre 2012

Laura

Fontanella

Institut de Mathématiques de Jussieu

B. Velickovic

Grandes propriétés pour petits cardinaux

12 décembre 2012

Jonas

Frey

Laboratoire Preuves, Programmes et Systèmes

P.-A. Melliès

Une étude fibrationelle des topos de réalisabilité

20 juin 2013

Giulio

Guerrieri

Laboratoire Preuves, Programmes et Systèmes

T. Ehrhard

Differential nets, experiments and reduction

20 juin 2013

Fabien

Guilbaud

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

H. Pham

Contrôle optimal dans des carnets d'ordres limites

1er février 2013

Enrique

Henestroza Anguiano

INRIA - Équipe projet ALPAGE

L. Danlos

Efficient Large-Context Dependency Parsing and Correction with Distributional Lexical Resources

25 juin 2013

Moheddine

Imsatfia

Institut de Mathématiques de Jussieu

F. Helein

La géométrie de Cartan fondée sur la notion d'aire et application du problème d'équivalence

12 décembre 2012

Jérémy

Jean

Département d'Informatique de l'ENS

D. Pointcheval

Cryptanalyse de primitives symétriques basées sur le chiffrement AES

23 septembre 2013

Gabriel

Kerneis

Laboratoire Preuves, Programmes et Systèmes

J. Chroboczek

Continuation-Passing C : transformations de programmes pour compiler la concurrence dans un langage impératif

9 novembre 2012

Denis

Kuperberg

Laboratoire d'Informatique Algorithmique : Fondements et Applications

O. Carton

Étude de classes de fonctions de coût régulières

3 décembre 2012

Victoria

Lebed

Institut de Mathématiques de Jussieu

M. Rosso

Objets tressés : une étude unificatrice de structures algébriques et une catégorification des tresses virtuelles

13 décembre 2012

Régis

Lebrun

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

J. Garnier

Contributions à la modélisation de la dépendance stochastique

24 mai 2013

Roch

Lescuyer de Chaptal Lamure

Département d'Informatique de l'ENS

D. Pointcheval

Outils cryptographiques pour les accrédations anonymes

21 novembre 2012

Lucas

Lewark

Institut de Mathématiques de Jussieu

B. Blanchet

Homologies de Khovanov-Rozansky, toiles nouées pondérées et genre lisse

28 juin 2013

Yong

Lu

Institut de Mathématiques de Jussieu

I. Gallagher

Asymptotiques haute-fréquences pour des systèmes hyperboliques  

d'équations aux dérivées partielles d'ordre un: stabilité et instabilité de solutions approchées

19 juin 2013

Antoine

Madet

Laboratoire Preuves, Programmes et Systèmes

R. Amadio

Complexité Implicite de Lambda-Calculs Concurrents

6 décembre 2012

Faten

Nabli

INRIA - Équipe projet CONTRAINTES

F. Fages

A constraint programming approach to the analysis of Petri nets structural properties and application to biochemical networks

10 juillet 2013

Van Dinh

Ngo

Institut de Mathématiques de Jussieu

C. Blondel

Construction de représentations supercuspidales des groupes spinoriels définis sur des corps $p$-adiques au moyen de types semi-simples

28 août 2013

Tien Viet

Nguyen

Département d'Informatique de l'ENS

F. Baccelli

Analyse probabiliste d'algorithmes adaptatifs dans les réseaux mobiles ad hoc

9 janvier 2013

Adeline

Pierrot

Laboratoire d'Informatique Algorithmique : Fondements et Applications

D. Ronssin

Combinatoire et algorithmique dans les classes de permutations

26 juin 2013

Christophe

Prange

Institut de Mathématiques de Jussieu

D. Gérard-Varret

Analyse asymptotique et couches limites : quelques problèmes en homogénéisation et en mécanique des fluides

5 juin 2013

Louis-Hadrien

Robert

Institut de Mathématiques de Jussieu

B. Blanchet

Sur l’homologie sl3 des enchevêtrements ; algèbres de Khovanov – Kuperberg

10 juillet 2013

Fu

Song

Laboratoire d'Informatique Algorithmique : Fondements et Applications

T. Touili

On Pushdown Systems Model Checking: Application to Malware Detection and Software Model-Checking

12 avril 2013

Robert

Thai

Institut de Mathématiques de Jussieu

I. Gallagher

Autour des équations de Navier-Stokes-Coriolis avec surface libre

11 juin 2013

Hung

Tran The

Laboratoire d'Informatique Algorithmique : Fondements et Applications

C. Delporte

Détection de défaillances en présence d'adversaires byzantins

6 juin 2013

Qiaoling

Wei

Institut de Mathématiques de Jussieu

M. Chaperon

Solutions de viscosité des équations de Hamilton-Jacobi et minmax itérés

30 mai 2013

Zhiwu

Xu

Laboratoire Preuves, Programmes et Systèmes

G. Castagna

Parametric polymorphism for XML processing languages

30 mai 2013

Mouchira

Zaiter

Institut de Mathématiques de Jussieu

J.-Y. Charbonnel

Sur quelques sous-variétés d'une puissance cartésienne d'une algèbre de Lie réductive

25 juillet 2013

Lei

Zhao

Institut de Mécanique Céleste et de Calcul des Éphémérides

A. Chanciner

Solutions quasi-périodiques et solutions de quasi-collision du problème spatial des trois corps

31 mai 2013

Jialin

Zhu

Institut de Mathématiques de Jussieu

X. Ma

Sur la formule de recollement de formes de torsion analytique

24 juin 2013

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