Thèses soutenues à l'université Paris-Diderot en 2011-2012

Thèses de mathématiques soutenues à l'université Paris-Diderot en 2011-2012
Prénom	Nom	Laboratoire	Directeur de thèse	Sujet	Date
Hervé	Baumann	Laboratoire d'Informatique Algorithmique : Fondements et Applications	P. Fraigniaud	Diffusion décentralisée d'information dans les systèmes distribués	24 septembre 2012
Djamal	Belazzougui	Laboratoire d'Informatique Algorithmique : Fondements et Applications	M. Raffinot	Structures compactes pour l'indexation de données	27 novembre 2011
Olivier	Benoist	Département de Mathématiques et Applications de l'ENS	O. Debarre	Espaces de modules d’intersections complètes lisses	10 février 2012
Olivier	Blazy	Département d'Informatique de l'ENS	D. Pointcheval	Preuves de connaissance interactives et non-interactives	27 septembre 2012
Carmine	De Franco	Laboratoire de Probabilités et Modèles Aléatoires	H. Pham	Deux études en gestion du risque : assurance de portefeuille avec contrainte en risque et couverture quadratique dans les modèles à sauts	29 juin 2012
Guillaume	Delalleau	Laboratoire d'Informatique Algorithmique : Fondements et Applications	V. Berthé	Substitutions sur la droite et dans le plan	17 novembre 2011
Mehdi	Dogguy	Laboratoire Preuves, Programmes et Systèmes	R. Amadio	Déterminisme et confluence dans des systèmes concurrents et synchrones	27 janvier 2012
Cezara	Dragoi	Laboratoire d'Informatique Algorithmique : Fondements et Applications	A. Bouajjani	Vérification automatique de programmes avec mémoire dynamique et données infinies	8 décembre 2011
Bertrand	Duma	Institut de Mathématiques de Jussieu	D. Rössler	Vers la forme générale du théorème de Grothendieck-Riemann-Roch	26 septembre 2012
Paul	Gassiat	Laboratoire de Probabilités et Modèles Aléatoires	H. Pham	Modélisation du risque de liquidité et méthodes de quantification appliquées au contrôle stochastique séquentiel	7 décembre 2011
Stéphane	Glondu	Laboratoire Preuves, Programmes et Systèmes	R. Di Cosmo	Vers une certification de l’extraction de Coq	1er juin 2012
Lingyan	Guo	Institut de Mathématiques de Jussieu	B. Keller	Catégories amassées supérieures et frises tropicales	16 mai 2012
Xavier	Koegler	Laboratoire d'Informatique Algorithmique : Fondements et Applications	P. Fraigniaud	Population protocols, games, and large populations	13 septembre 2012
Sébastien	Labbé	Laboratoire d'Informatique Algorithmique : Fondements et Applications	V. Berthé	Structure des pavages, droites discrètes 3D et combinatoire des mots	4 mai 2012
Trafim	Lasy	Institut de Mathématiques de Jussieu	J. Michel	Traces de Markov spéciales et formule de Gomi pour les groupes de réflexion	2 février 2012
Pierre	Le Boudec	Institut de Mathématiques de Jussieu	R. de la Bretèche	Répartition des points rationnels sur certaines surfaces de del Pezzo	6 juillet 2012
Élodie	Leducq	Institut de Mathématiques de Jussieu	J.-F. Mestre	Autour des codes Reed-Muller généralisés	6 décembre 2011
Séverine	Maingaud	Laboratoire Preuves, Programmes et Systèmes	A. Miquel et V. Balat	Certification de programmes impératifs en logique dynamique : le cas du lambda-calcul avec références	13 décembre 2011
Delphine	Masgana	Département d'Informatique de l'ENS	D. Pointcheval	Injection de fautes et de logiciels sur les implémentations cryptographiques	5 juillet 2012
Jean-Baptiste	Monnier	Laboratoire de Probabilités et Modèles Aléatoires	D. Picard	Quelques contributions en classification, régression et étude d'un problème inverse en finance	6 décembre 2011
Hoang-Thach	Nguyen	Laboratoire d'Informatique Algorithmique : Fondements et Applications	J. Mairesse	Réseaux de Petri stochastiques à forme produit	18 avril 2012
Gonenc	Onay	Institut de Mathématiques de Jussieu	F. Delon et F. Point	Modules valués en vue d'applications à la théorie des corps valués de caractéristique positive	1er décembre 2011
Nicolas	Pouillard	INRIA - Équipe projet GALLIUM	F. Pottier	Une approche unifiante pour programmer sûrement avec de la syntaxe du premier ordre contenant des lieurs	13 janvier 2012
Fan	Qin	Institut de Mathématiques de Jussieu	B. Keller	Algèbres amassées quantiques acycliques	11 mai 2012
Tahina	Ramananandro	INRIA - Équipe projet GALLIUM	X. Leroy	Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée	10 janvier 2012
Max	Rempel	Département de Mathématiques et Applications de l'ENS	O. Debarre	Positivité des cycles dans les variétés algébriques	28 septembre 2012
Fabien	Renaud	Laboratoire Preuves, Programmes et Systèmes	D. Kesner	Les ressources explicites vues par la théorie de la réécriture	7 décembre 2011
Mauricio	Soto	Laboratoire d'Informatique Algorithmique : Fondements et Applications	L. Viennot et F. de Montgolfier	Quelques propriétés topologiques des graphes et applications à internet et aux réseaux	2 décembre 2011
Rémi	Strullu	Institut de Mathématiques de Jussieu	B. Velickovic	Principe de réflexion MRP, propriétés d'arbres et grands cardinaux	21 septembre 2012
Dimitrios	Vlitas	Institut de Mathématiques de Jussieu	S. Todorcevic	Contribution à la théorie de Ramsey en dimension infinie	23 juillet 2012
Matteo	Zanioli	Département d'Informatique de l'ENS	R. Cousot	Information Flow Analysis by Abstract Interpretation	12 mars 2012

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