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 2007-2008

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

Prénom

Nom

Laboratoire

Directeur de thèse

Sujet

Date

Claire

Amiot

Institut de Mathématiques de Jussieu

B. Keller

Sur les petites catégories triangulées

11 juillet 2008

Côme

Berbain

Laboratoire d'Informatique de l'ENS

J. Stern

Analyse et conception d'algorithmes de chiffrement à flot

26 octobre 2007

Adnene

Besbes

Institut de Mathématiques de Jussieu

A.-M. Boutet de Monvel

Contributions à l'étude de quelques systèmes quasi-cristallographiques

8 juillet 2008

Christina

Brech

Équipe de Logique Mathématique

S. Todorcevic et P. Koszmider

Contributions génériques des espaces d'Asplund C(K)

29 avril 2008

Jérémie

Brieussel

Institut de Mathématiques de Jussieu

A. Zuk

Croissance et moyennabilité de certains groupes d'automorphismes d'un arbre enraciné

29 septembre 2008

Benjamin

Bruder

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

X.-H. Pham

Contrôle stochastique et applications à la couverture d'options en présence d'illiquidité : aspects théoriques et numériques

17 janvier 2008

Paulo

Carillo-Rouse

Institut de Mathématiques de Jussieu

G. Skandalis

Indices analytiques à support compact pour des groupoïdes de Lie

12 décembre 2007

Thu Ha

Dao Thi

Laboratoire d'Informatique Algorithmique : Fondements et Applications

J. Mairesse

Les files et les réseaux zéro-automatiques

3 décembre 2007

Joachim

De Guilhem De Lataillade

Laboratoire Preuves, Programmes et Systèmes

P.-L. Curien et O. Laurent

Quantification du second ordre en sémantique des jeux - Application aux isomorphismes de types

21 novembre 2007

Maria

Gomez Aparicio

Institut de Mathématiques de Jussieu

V. Lafforgue

Propriété (T) et morphisme de Baum-Connes tordus par une représentation non unitaire

14 décembre 2007

Rémy

Haemmerlé

INRIA - Équipe projet CONTRAINTES

F. Fages

Fermetures et modules dans les langages concurrents avec contraintes fondés sur la logique linéaire

17 janvier 2008

Philippe

Hesse

Laboratoire Preuves, Programmes et Systèmes

J.-L. Krivine

Réalisibilité classique et protocoles réseaux

17 juillet 2008

Mathieu

Hoyrup

Laboratoire Preuves, Programmes et Systèmes

G. Longo et S. Galatolo

Calculabilité, aléatoire et théorie ergodique sur les espaces métriques

17 juin 2008

Daniel

Juteau

Institut de Mathématiques de Jussieu

R. Rouquier et C. Bonnafé

Correspondance de Springer et matrices de décomposition

11 décembre 2007

Imen

Kammoun

SAMOS - Universite Paris 1 Tolbiac

J.-M. Bardet

Modélisation et détection de rupture des signaux physiologiques issus de compétition d'endurance

Décembre 2007

Eric

Levieil

Laboratoire d'Informatique de l'ENS

J. Stern

Contributions à l'étude cryptographique de protocoles et de primitives à clé secrète

29 septembre 2008

Giulio

Manzonetto

Laboratoire Preuves, Programmes et Systèmes

C. Berline et A. Salibra

Models and Theories of Lambda calculus

18 février 2008

Pierre

Moro

Laboratoire d'Informatique Algorithmique : Fondements et Applications

A. Bouajjani et P. Habermehl

Techniques de vérification basées sur des représentations symboliques par automates et l'abstraction guidée par les contre-exemples

4 février 2008

Pierre

Neuvial

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

S. Boucheron et E. Barillot

Contributions à l'analyse statistique des données de puces à ADN

30 septembre 2008

Gilles

Peskine

INRIA - Équipe projet MOSCOVA

J.-J. Lévy

Types abstraits dans les systèmes répartis

12 juin 2008

Marco

Porta

Institut de Mathématiques de Jussieu

B. Keller et B. Van Geemen

On well generated trianguled categories

1er février 2008

Yann

Regis-Gianas

INRIA - Équipe projet GALLIUM

F. Pottier

Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels

29 novembre 2007

Laurent

Rineau

Laboratoire d'Informatique de l'ENS

M. Yvinec

Maillages de volumes bornés par des surfaces lisses par morceaux

30 novembre 2007

Mathias

Samuelides

Laboratoire d'Informatique Algorithmique : Fondements et Applications

A. Muscholl et L. Ségoufin

Automates d'arbres à jetons

17 décembre 2007

Boutheina

Souabni

Institut de Mathématiques de Jussieu

L. Zielinski

Étude de la densité d'états surfaciques de certains opérateurs de Schrödinger

8 juillet 2008

Saber

Trabelsi

Laboratoire Jacques-Louis Lions

C. Bardos et N. Mauser

Analysis of the MultiConfiguration Time-dependant Hartree-Fock equations

29 septembre 2008

Marc

Wouts

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

T. Bodineau

Le Modèle d'Ising Dilué. Coexistence de phases à l'équilibre et dynamique dans la région de transition de phase

14 décembre 2007

27 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