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

Traductions :

Egalement dans la rubrique

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

» En savoir plus sur «Plan d'accès»