Thèses soutenues à l'université Paris-Diderot en 2009-2010

Thèses de mathématiques soutenues à l'université Paris-Diderot en 2009-2010
Prénom	Nom	Laboratoire	Directeur de thèse	Sujet	Date
Dimitri	Ara	Institut de Mathématiques de Jussieu	G. Maltsiniotis	Sur les infini-groupoïdes de Grothendieck et une variante infini-catégorique	10 septembre 2010
Mohamed	Atig	Laboratoire d'Informatique Algorithmique : Fondements et Applications	A. Bouajjani	Vérification de Programmes Concurrents : Décidabilité et Complexité	3 juin 2010
Mathilde	Bouvel	Laboratoire d'Informatique Algorithmique : Fondements et Applications	D. Rossin et R. Pinzani	Quelques problèmes combinatoires et algorithmiques sur les classes de permutations	4 décembre 2009
Claire	Chavaudret	Institut de Mathématiques de Jussieu	H. Eliasson	Réductibilité des cocycles quasi-périodiques	11 février 2010
Céline	Chevalier	Département d'Informatique de l'ENS	D. Pointcheval	Étude de protocoles cryptographiques à base de mots de passe	3 décembre 2009
Pierre	Clairambault	Laboratoire Preuves, Programmes et Systèmes	P.-L. Curien	Logique et interaction : une étude sémantique de la totalité	19 février 2010
Pierre-Malo	Denielou	Institut de Mathématiques de Jussieu	J.-J. Levy	Sûreté des abstractions et sessions sécurisées dans les langages distribués	25 janvier 2010
Laura	Desideri	Institut de Mathématiques de Jussieu	F. Helein	Problème de Plateau, équations fuchsiennes et problème de Riemann-Hilbert	4 décembre 2009
David	Duris	Laboratoire de Logique Mathématique	A. Durand	Acyclicité des hypergraphes et liens avec la logique sur les structures relationnelles finies	25 novembre 2009
Karim	Er-Rhaimini	Laboratoire de Logique Mathématique	B. Velickovic	Constructions par forcing d’espaces LCS et de structures PCF	22 décembre 2009
Elena	Giachino	Laboratoire Preuves, Programmes et Systèmes	G. Castagna	Semantic foundations and object-oriented applications	9 décembre 2009
Stéphane	Gimenez	Laboratoire Preuves, Programmes et Systèmes	T. Ehrhard	Programmes, Calculer et Raisonner avec les réseaux de la Logique Linéaire	16 décembre 2009
Christophe	Gomez	Laboratoire de Probabilités et Modèles Aléatoires	J. Garnier	Propagation et retournement temporel des ondes dans les guides d’ondes aléatoires	3 décembre 2009
Malika	Izabachene	Département d'Informatique de l'ENS	D. Pointcheval	L'anonymat dans les protocoles cryptographiques	1er octobre 2009
Runqiang	Jian	Département de Mathématiques et Applications de l'ENS	M. Rosso et X. Zhu	Théorie de Chern-Weil sous les groupes quantiques	9 octobre 2009
Zhi	Jiang	Département de Mathématiques et Applications de l'ENS	O. Debarre	Sur l'application d'Albanese des variétés algébriques et le cône nef des produits symétriques de courbes	25 mai 2010
Nabil	Kahouadji	Institut de Mathématiques de Jussieu	F. Helein	Lois de conservation et plongements isométriques généralisés	22 octobre 2009
Idris	Kharroubi	Laboratoire de Probabilités et Modèles Aléatoires	X.-H. Pham	EDS rétrograde et contrôle stochastique séquentiel en temps continu en finance	1er décembre 2009
Hubert	Lacoin	Laboratoire de Probabilités et Modèles Aléatoires	G. Giacomin	Désordre et phénomènes de localisation	19 octobre 2009
Anna Chiara	Lai	Laboratoire d'Informatique Algorithmique : Fondements et Applications	C. Frougny et P. Loreti	On expansions in non-integer bases	9 mars 2010
Emmanuel	Lepage	Département de Mathématiques et Applications de l'ENS	Y. André	Géométrie anabélienne tempérée	4 décembre 2009
Gaëtan	Leurent	Département d'Informatique de l'ENS	D. Pointcheval	Construction et Analyse de Fonctions de Hachage	30 septembre 2010
Thomas	Lim	Laboratoire de Probabilités et Modèles Aléatoires	M.-C. Kammere-Quenez	Quelques applications du contrôle stochastique aux risques de défaut et de liquidité	7 juillet 2010
Karim	Lounici	Laboratoire de Probabilités et Modèles Aléatoires	A. Tsybakov	Estimation statistique en grande dimension, parcimonie et inégalités d'oracle	24 novembre 2009
Gilles	Macario-Rat	Département d'Informatique de l'ENS	J. Stern	Cryptanalyse de schémas multivariés et résolution d'un problème d'Isomorphisme de Polynôme	28 juin 2010
Gregorio	Moreno Flores	Laboratoire de Probabilités et Modèles Aléatoires	F. Comets	Modèles de polymères dirigé en milieux aléatoires	3 juin 2010
Thi Kim Ngan	Nguyen	Institut de Mathématiques de Jussieu	B. Kahn	Modules de cycles et classes non ramifiées sur un espace classifiant	9 juillet 2010
Diego	Perino	INRIA - Équipe projet GYROWEB	L. Viennot et F. Mathieu	Algorithmes d'allocation de ressources pour le streaming en P2P	16 novembre 2009
Hoang Anh	Phan	Laboratoire d'Informatique Algorithmique : Fondements et Applications	P. Fraignaud	Équilibrage de charge et diffusion multicast dans les systèmes pair-à-pair	29 septembre 2010
Mauro	Piccolo	Laboratoire Preuves, Programmes et Systèmes	P.-L. Curien	Linearity and behind in demotational semantics	9 décembre 2009
Vincent	Pilaud	Département d'Informatique de l'ENS	M. Pocchiola et F. Santos Leal	Multitriangulations, pseudotriangulations et quelques problèmes de réalisation de polytopes	3 septembre 2010
Jean-François	Planchat	Institut de Mathématiques de Jussieu	A. Zuk	Groupes d'automates et C* algèbres	21 septembre 2010
Benoît	Razet	INRIA - Équipe projet CRISTAL	G. Huet	Machines d'Eilenberg effectives	26 novembre 2009
Vivien	Ripoll	Département de Mathématiques et Applications de l'ENS	D. Bessis	Groupe de réflexion, géométrie du discriminant et partitions non-croisées	9 juillet 2010
Ismael	Souderes	Institut de Mathématiques de Jussieu	L. Schneps	Motifs de Tate mixtes et éclatements à la Mac Pherson-Procesi (Une application aux valeurs zêta multiples motiviques)	7 décembre 2009
Christine	Tasson	Laboratoire Preuves, Programmes et Systèmes	P.-L. Curien et T. Ehrhard	Sémantique et syntaxe vectorielles de la logique linéaire	4 décembre 2009
Andreas	Tielmann	Laboratoire d'Informatique Algorithmique : Fondements et Applications	C. Delporte et H. Fauconnier	Conditions minimales pour l'accord tolérant aux pannes	7 mai 2010
Jean-Baptiste	Tristan	INRIA - Équipe projet GALLIUM	X. Leroy	Vérification formelle de validateurs de traduction	6 novembre 2009
Paul James	White	Institut de Mathématiques de Jussieu	M. Harris	Le produit tensoriel automorphe et l'endoscopie sur le groupe unitaire	24 septembre 2010
Jiang	Zhang	Institut de Mathématiques de Jussieu	M. Rosso et N. Hu	Certains aspects de l'homologie cyclique et les algèbres de quasi-battage quantiques	1er juin 2010

40 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»