Thèses soutenues à l'université Paris-Diderot en 2008-2009
Prénom |
Nom |
Laboratoire |
Directeur de thèse |
Sujet |
Date |
---|---|---|---|---|---|
Mohssen |
Abboud |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
H. Fauconnier et C. Gallet Delporte |
Tolérance aux défaillances dans les réseaux dynamiques |
27 novembre 2008 |
Marie |
Albenque |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
J. Mairesse et J.-F. Marckert |
Tresses, animaux, cartes : à l'interaction entre combinatoire et probabilité |
3 décembre 2008 |
Cécile |
Armana |
Institut de Mathématiques de Jussieu |
L. Merel |
Torsion rationnelle des modules de Drinfeld |
5 novembre 2008 |
Panagiotis |
Batakidis |
Institut de Mathématiques de Jussieu |
C. Torossian |
Déformation par quantification et théorie de Lie |
17 juin 2009 |
Vincent |
Beck |
Institut de Mathématiques de Jussieu |
M. Broué |
Algèbre des invariants relatifs pour les groupes de réflexions - catégorie stable |
19 novembre 2008 |
Jean-François |
Chassagneux |
Laboratoire de Probabilités et Modèles Aléatoires |
X.-H. Pham et B. Bouchard-Denize |
Processus réfléchis en finance et probabilité numérique |
28 novembre 2008 |
Mathieu |
Cossutta |
Institut de Mathématiques de Jussieu |
N. Bergeron |
Cohomologie de certaines variétés localement symétriques et correspondance theta |
8 juillet 200 |
Zaynah |
Dargaye |
INRIA - Équipe projet GALLIUM |
X. Leroy |
Vérification formelle d un compilateur optimisant pour langages fonctionnels |
6 juillet 2009 |
Claire |
David |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
A. Muscholl et L. Segoufin |
Analyse de XML avec données non-bornées |
7 mai 2009 |
Cécile |
Delerablée |
Laboratoire d'Informatique de l'ENS |
D. Pointcheval |
Cryptographie dans les groupes |
1er juillet 2009 |
Luca |
Fossati |
Laboratoire Preuves, Programmes et Systèmes |
P.-L. Curien et S. Ronchi Della Rocca |
Modeling the Handshake protocol for Asychrony |
9 février 2009 |
Achille |
Frigeri |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
C. Choffrut et A. Cherubini |
Définissabilité dans Z et dans Zp |
24 mars 2009 |
Nicolas |
Gama |
Laboratoire d'Informatique de l'ENS |
P. Nguyen |
Géométrie des nombres et cryptanalyse de NTRU |
13 novembre 2008 |
Mauricio |
Guillermo Gonzalez |
Laboratoire Preuves, Programmes et Systèmes |
J.-L. Krivine |
Jeux de réalisabilité en arithmétique classique |
11 décembre 2008 |
Frédéric |
Guilloux |
Laboratoire de Probabilités et Modèles Aléatoires |
D. Picard et J.-F. Cardoso |
Analyse harmonique et estimation spectrale sur la sphère. Application à l'étude du fond diffus cosmologique |
8 décembre 2008 |
Mohamed |
Hebiri |
Laboratoire de Probabilités et Modèles Aléatoires |
N. Vayatis |
Quelques questions de sélection de variables autour de l'estimateur Lasso |
30 juin 2009 |
Florian |
Horn |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
A. Muscholl et W. Thomas |
Jeux aléatoires |
24 novembre 2008 |
Patrick |
Labatut |
Laboratoire d'Informatique de l'ENS |
R. Keriven |
Partition de complexes guidés par les données pour la reconstruction de surface |
14 septembre 2009 |
Sylvain |
Lebresne |
Laboratoire Preuves, Programmes et Systèmes |
P.-L. Curien et H. Heberlin |
Une approche de la détection statique d'exceptions non rattrapées en appel par nom |
5 décembre 2008 |
Nicolas |
Libedinsky |
Institut de Mathématiques de Jussieu |
R. Rouquier |
Autour de la catégorie des bimodules de Soergel |
17 novembre 2008 |
Vincent |
Limouzy |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
M. Habib |
Sur quelques généralisations polynomiales de la décomposition modulaire |
3 décembre 2008 |
Farès |
Maalouf |
Laboratoire de Logique Mathématique |
F. Delon |
Structures C-minimales géométriques et trichotomie de Zilber |
4 décembre 2008 |
Olivier |
Mallet |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
J. Lovejoy |
Autour des surpartitions et des identités de type Rogers-Ramanujan |
28 novembre 2008 |
Nadir |
Matringe |
Institut de Mathématiques de Jussieu |
P. Gerardin |
Distinction et fonctions L d'Asai pour les représentations génériques des groupes linéaires généraux sur les corps p-adiques |
8 décembre 2008 |
Pierre |
Maurel |
Laboratoire d'Informatique de l'ENS |
O. Faugeras |
Shape gradients, shape warping and medical application to facial expression analysis |
2 décembre 2008 |
Katia |
Meziani |
Laboratoire de Probabilités et Modèles Aléatoires |
D. Picard et C. Butucea |
Estimation non paramétrique en tomographie quantique homodyne |
9 décembre 2008 |
Samuel |
Mimram |
Laboratoire Preuves, Programmes et Systèmes |
P.-A. Melliès |
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle |
1er décembre 2008 |
Yann |
Palu |
Institut de Mathématiques de Jussieu |
B. Keller |
Des catégories triangulées aux algèbres amassées |
8 juin 2009 |
Mickaël |
Pechaud |
Laboratoire d'Informatique de l'ENS |
R. Keriven |
Applications de calculs de plus courts chemins en imagerie médicale |
25 septembre 2009 |
Walid |
Refai |
Institut de Mathématiques de Jussieu |
H. Eliasson |
Sur le spectre ponctuel des opérateurs de Schrodinger quasi-périodiques |
28 septembre 2009 |
Cécilia |
Salgado Guimaraes Da Silva |
Institut de Mathématiques de Jussieu |
M. Hindry |
Rang de surfaces elliptiques : théorèmes de comparaison |
19 juin 2009 |
François |
Simenhaus |
Laboratoire de Probabilités et Modèles Aléatoires |
F. Comets |
Marches aléatoires en milieux aléatoires. Étude de quelques modèles multidimensionnels |
13 novembre 2008 |
Nicolas |
Tabareau |
Laboratoire Preuves, Programmes et Systèmes |
P.-A. Melliès |
Modalités de ressources et contrôle en logique tensorielle |
3 décembre 2008 |
Victor Manuel |
Torres Perez |
Laboratoire de Logique Mathématique |
S. Todorcevic |
Réflexion, Compacité et Arithmétique des Cardinaux |
1er juillet 2009 |
Paolo |
Tranquilli |
Laboratoire Preuves, Programmes et Systèmes |
A. Bucciarelli et L. Tortora de Falco |
Réseaux entre Déterminisme et non-déterminisme |
23 avril 2009 |
Boris |
Yakobowski |
INRIA - Équipe projet GALLIUM |
D. Remy |
Types et contraintes graphiques : polymorphisme de second ordre et inférence |
17 décembre 2008 |
36 soutenances de thèse
Egalement dans la rubrique
- Thèses soutenues à l'université Paris-Diderot en 2006-2007
- Thèses soutenues à l'université Paris-Diderot en 2007-2008
- Thèses soutenues à l'université Paris-Diderot en 2009-2010
- Thèses soutenues à l'université Paris-Diderot en 2010-2011
- Thèses soutenues à l'université Paris-Diderot en 2011-2012
- Thèses soutenues à l'université Paris-Diderot en 2012-2013
- Thèses soutenues à l'université Paris-Diderot en 2013-2014
Contact
École Doctorale de Sciences Mathématiques de Paris Centre
Sorbonne Université
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 Cité
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 : Amina Hariti (ufr-ed386 @ math.univ-paris-diderot.fr)
Tél : 01 57 27 92 13
Fax : 01 57 27 91 40