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 :

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»