Thèses soutenues à l'université Paris-Diderot en 2007-2008
|
Prénom |
Nom |
Laboratoire |
Directeur de thèse |
Sujet |
Date |
|---|---|---|---|---|---|
|
Claire |
Amiot |
Institut de Mathématiques de Jussieu |
B. Keller |
Sur les petites catégories triangulées |
11 juillet 2008 |
|
Côme |
Berbain |
Laboratoire d'Informatique de l'ENS |
J. Stern |
Analyse et conception d'algorithmes de chiffrement à flot |
26 octobre 2007 |
|
Adnene |
Besbes |
Institut de Mathématiques de Jussieu |
A.-M. Boutet de Monvel |
Contributions à l'étude de quelques systèmes quasi-cristallographiques |
8 juillet 2008 |
|
Christina |
Brech |
Équipe de Logique Mathématique |
S. Todorcevic et P. Koszmider |
Contributions génériques des espaces d'Asplund C(K) |
29 avril 2008 |
|
Jérémie |
Brieussel |
Institut de Mathématiques de Jussieu |
A. Zuk |
Croissance et moyennabilité de certains groupes d'automorphismes d'un arbre enraciné |
29 septembre 2008 |
|
Benjamin |
Bruder |
Laboratoire de Probabilités et Modèles Aléatoires |
X.-H. Pham |
Contrôle stochastique et applications à la couverture d'options en présence d'illiquidité : aspects théoriques et numériques |
17 janvier 2008 |
|
Paulo |
Carillo-Rouse |
Institut de Mathématiques de Jussieu |
G. Skandalis |
Indices analytiques à support compact pour des groupoïdes de Lie |
12 décembre 2007 |
|
Thu Ha |
Dao Thi |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
J. Mairesse |
Les files et les réseaux zéro-automatiques |
3 décembre 2007 |
|
Joachim |
De Guilhem De Lataillade |
Laboratoire Preuves, Programmes et Systèmes |
P.-L. Curien et O. Laurent |
Quantification du second ordre en sémantique des jeux - Application aux isomorphismes de types |
21 novembre 2007 |
|
Maria |
Gomez Aparicio |
Institut de Mathématiques de Jussieu |
V. Lafforgue |
Propriété (T) et morphisme de Baum-Connes tordus par une représentation non unitaire |
14 décembre 2007 |
|
Rémy |
Haemmerlé |
INRIA - Équipe projet CONTRAINTES |
F. Fages |
Fermetures et modules dans les langages concurrents avec contraintes fondés sur la logique linéaire |
17 janvier 2008 |
|
Philippe |
Hesse |
Laboratoire Preuves, Programmes et Systèmes |
J.-L. Krivine |
Réalisibilité classique et protocoles réseaux |
17 juillet 2008 |
|
Mathieu |
Hoyrup |
Laboratoire Preuves, Programmes et Systèmes |
G. Longo et S. Galatolo |
Calculabilité, aléatoire et théorie ergodique sur les espaces métriques |
17 juin 2008 |
|
Daniel |
Juteau |
Institut de Mathématiques de Jussieu |
R. Rouquier et C. Bonnafé |
Correspondance de Springer et matrices de décomposition |
11 décembre 2007 |
|
Imen |
Kammoun |
SAMOS - Universite Paris 1 Tolbiac |
J.-M. Bardet |
Modélisation et détection de rupture des signaux physiologiques issus de compétition d'endurance |
Décembre 2007 |
|
Eric |
Levieil |
Laboratoire d'Informatique de l'ENS |
J. Stern |
Contributions à l'étude cryptographique de protocoles et de primitives à clé secrète |
29 septembre 2008 |
|
Giulio |
Manzonetto |
Laboratoire Preuves, Programmes et Systèmes |
C. Berline et A. Salibra |
Models and Theories of Lambda calculus |
18 février 2008 |
|
Pierre |
Moro |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
A. Bouajjani et P. Habermehl |
Techniques de vérification basées sur des représentations symboliques par automates et l'abstraction guidée par les contre-exemples |
4 février 2008 |
|
Pierre |
Neuvial |
Laboratoire de Probabilités et Modèles Aléatoires |
S. Boucheron et E. Barillot |
Contributions à l'analyse statistique des données de puces à ADN |
30 septembre 2008 |
|
Gilles |
Peskine |
INRIA - Équipe projet MOSCOVA |
J.-J. Lévy |
Types abstraits dans les systèmes répartis |
12 juin 2008 |
|
Marco |
Porta |
Institut de Mathématiques de Jussieu |
B. Keller et B. Van Geemen |
On well generated trianguled categories |
1er février 2008 |
|
Yann |
Regis-Gianas |
INRIA - Équipe projet GALLIUM |
F. Pottier |
Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels |
29 novembre 2007 |
|
Laurent |
Rineau |
Laboratoire d'Informatique de l'ENS |
M. Yvinec |
Maillages de volumes bornés par des surfaces lisses par morceaux |
30 novembre 2007 |
|
Mathias |
Samuelides |
Laboratoire d'Informatique Algorithmique : Fondements et Applications |
A. Muscholl et L. Ségoufin |
Automates d'arbres à jetons |
17 décembre 2007 |
|
Boutheina |
Souabni |
Institut de Mathématiques de Jussieu |
L. Zielinski |
Étude de la densité d'états surfaciques de certains opérateurs de Schrödinger |
8 juillet 2008 |
|
Saber |
Trabelsi |
Laboratoire Jacques-Louis Lions |
C. Bardos et N. Mauser |
Analysis of the MultiConfiguration Time-dependant Hartree-Fock equations |
29 septembre 2008 |
|
Marc |
Wouts |
Laboratoire de Probabilités et Modèles Aléatoires |
T. Bodineau |
Le Modèle d'Ising Dilué. Coexistence de phases à l'équilibre et dynamique dans la région de transition de phase |
14 décembre 2007 |
27 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 2008-2009
- 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
