Thèses de Doctorat

soutenues par des étudiants sortant du  DEA de Logique Mathématique et Fondements de l'Informatique, puis du Master Logique Mathématique et Fondements de l'Informatique depuis 2004-2005.

(Ce DEA existe depuis 87-88, et s'est longtemps appelé simplement "DEA de Logique")

Les noms des directeurs appartenant à l'Université Paris 7 sont en noir (sauf exception, ce sont des membres de l'Equipe de Logique ou de l'Equipe PPS), les directions extérieures à Paris 7 sont en bleu.

La liste des thèses extérieures est très incomplète, merci de nous aider à la compléter.
 

Page créée par Chantal Berline, maintenue par Guillaume Malod (malod_at_math.univ-paris-diderot.fr).

Remarque: les thèses dirigées dans l'Equipe de logique avant 1994 mais dont le titulaire n'est pas issu du DEA n'apparaissent pas (sauf erreur) dans cette liste
 

DIRECTEUR
DATE DE
SOUTENANCE
TITRE DE LA THESE
DOMAINE
Cécile ZYLBERAJCH J.L. Krivine Octobre 91 Syntaxe et sémantique de la facilité en lambda-calcul Lambda-calcul
Gilles DOWEK G. Huet 1991 Démonstration automatique dans le calcul des constructions Théorie de la démonstration
Paul ROZIERE J.P.Ressayre/M.Parigot Mai 92 Règles admissibles en calcul propositionnel intuitioniste Théorie de la démonstration
Pascal
MANOURY et Marianne
SIMONOT
J.L. Krivine/M.Parigot Décembre 92 Des preuves de totalité de fonctions comme synthèse de programmes Théorie de la démonstration
Marie-Hélène MOURGUES J.P. Ressayre Février 93 Applications des séries formelles à l'étude des corps réels clos Théorie des modèles
Ying JIANG C.Berline/J.L.Krivine Juin 93 Consistance et inconsistance de théories de lambda-calculs étendus, via l'étude des modèles de Scott et des modèles cohérents Lambda-calcul
Henri-Alex ESBELIN M. Guillaume (Univ. Clermont-Ferrand) Janvier 94 Prédicats rudimentaires et arithmétique de Bosse (problèmes du spectre). [approx.] Arithmétiques faibles
Christophe RAFFALLI J.L. Krivine/M.Parigot Février 94 Arithmétique fonctionnelle avec points fixes Lambda-calcul et théorie de la démonstration
Patrick SIMONETTA F. Delon Février 94 Décidabilité et interprétabilité dans les corps et les groupes non commutatifs Théorie des modèles
François METAYER J.Y. Girard Mars 94 Une étude homologique de réseaux Théorie de la démonstration
Ef TEKHARI   Mars 94  
 
Gilles AMIOT J.P. Ressayre/M.Parigot Avril 94 Unification et logique du second ordre Théorie de la démonstration
Haytham ARABI M. Guillaume (Univ. Clermont-Ferrand) Avril 94 Etudes algébriques sur les algèbres de Heyting monadiques et leurs constantes principales Logique algébrique
Olivier CHAPUIS G. Sabbagh  Décembre 94 Contributions a la théorie des groupes résolubles: elliptisme et théorie (universelle) du premier ordre. Théorie des modèles
Hélène LEJEUNE F. Delon Février 95 Paires de corps PAC parfaits, paires de corps pseudo-finis. Théorie des modèles
Jean-Yves BEZIAU D. Andler Juillet 95 Recherche sur la logique universelle (excessivité, négation, séquents) Logique
Jacques DUPARC J.P. Ressayre Juillet 95 La forme normale des Boréliens de rang fini. Théorie descriptive des ensembles 
Rainer KERTH C. Berline Octobre 95 Isomorphisme et équivalence équationnelle entre modèles du lambda-calcul. Lambda-calcul
Xavier GOUY C. Berline Décembre 95 Etude des théories équationnelles et des propriétés algébriques des modèles stables du lambda-calcul. Lambda-calcul
Thierry LACOSTE J.P. Ressayre ?? 95 Lois de convergence et lois 0-1 dans les structures aléatoires finies: une approche logique et finitiste. Théorie des modèles
Ariléïde  LIRA DE LIMA M. Dickmann Janvier 96 Les groupes spéciaux, Aspects algébriques et combinatoires de la théorie des espaces d'ordre abstraits. Théorie des modèles
Vincent PADOVANI J.L. Krivine/M.Parigot Janvier 96 Filtrage d'ordre supérieur Lambda-calcul
Deborah MARTINS RAPHAEL G. Sabbagh Février 96 Comparaison des propriétés modèle-théoriques et des propriétés algébriques des groupes polycycliques-par-fini. Théorie des modèles
Catherine-Amparo GOURION D. Lascar/M.Giraudet Mars 96 Sous-groupes convexes maximaux du groupe des automorphismes d'une chaine 2-transitive. Théorie des modèles
Markus JUNKER D. Lascar Juillet 96  Structures de type Zariski Théorie des modèles
Alexis BES D. Richard
(Univ. Clermont- Ferrand II)
Juillet 96 Problèmes de définissabilité arithmétique. Triangle de Pascal, arithmétique de Presburger et arithmétique de Skolem. Arithmétiques faibles
Frederic OLIVE E. Grandjean
(Univ. Caen)
Juillet 96 Caractérisation des problèmes NP: robustesse et normalisation. Complexité
Arnaud FLEURY Y. Lafont(CNRS, Marseille)/J.Van de Wiele Novembre 96 Logique linéaire: la règle d'échange. Théorie de la démonstration.
Olivier BASTONERO C. Berline Décembre 96 Modèles fortement stables du lambda-calcul et résultats d'incomplétude. Lambda-calcul
Valérie GOURANTON ??
(IRISA Rennes)
Septembre 97 Dérivation d'analyseurs dynamiques et statiques à partir de spécifications opérationnelles.
Informatique
Hélène TOUZET A. Cichon
(INRIA Lorraine)
Septembre 97 Propriétés combinatoires pour la terminaison de systèmes de réécriture.
Logique et informatique
Ronan GAUGNE ??
(IRISA Rennes)
Octobre 97 Techniques d'analyse statique pour l'aide à la mise au point de programmes avec manipulation explicite de pointeurs.
Informatique
Paul RUET F. Fages (ENS) Octobre 97 Logique non commutative et programmation concurrente par contraintes. Théorie de la démonstration.
Emilie SAYAG M. Mauny (INRIA) 1997
Types intersection simples
Informatique fond.
Luck DARNIERE F. Delon/Moret-Bailly
(Univ. Rennes)
Janvier 98 Etude modèle-théorique d'anneaux satisfaisant un principe de Hasse non singulier. Théorie des modèles
Daniel PITTELOUD J.P. Ressayre Avril 98 Le produit dans les corps de série transfinis. Théorie des modèles
Patrick BAILLOT J.Y. Girard
(CNRS, Marseille)
Janvier 99 Approches dynamiques en sémantique de la logique linéaire: Jeux et Géométrie de l'interaction. Théorie de la démonstration
Vincent ASTIER M. Dickmann Janvier 99 Théorie des modèles des groupes spéciaux de longueur de chaine finie. Théorie des modèles
Benoît MARIOU E. Bouscaren Janvier 99 Modèles engendrés par des indiscernables et modèles saturés. Théorie des modèles
Mario PEDICINI J.Y. Girard/V.Danos Janvier 99 Exécution et programmes.. Théorie de la démonstration
Philippe CURMIN M. Parigot Juin 99 Marquage des preuves et extraction de programmes Théorie de la démonstration
Jorge GUIER M. Dickmann Juillet 99 Produits booléens d'anneaux de valuation et de corps réels clos. Théorie des modèles
Joachin KELLER
1998

Informatique
Thierry JOLY V. Danos Janvier 2000 Codage, séparabilité et représentation de fonctions, en lambda-calcul simplement typé et dans d'autres systèmes de types. Lambda-calcul et Th. de la démonstration.
Lorenzo TORTORA de FALCO V. Danos Janvier 2000 Réseaux, cohérence et expériences obsessionnelles. Théorie de la démonstration
Thierry COULBOIS G. Sabbagh Juin 2000 Propriétés de Ribes-Zaleskii, topologie profinie, produit libre et généralisations. Théorie des modèles
Alain DAURAT M. Nivat/ D. Richard? Déc. 2000 Convexité dans le plan discret, application à la tomographie. Géométrie discrète
Samuel LACAS J.L. Krivine/S. Grigorieff Juin 2001 Extensionnalité, Syntaxe et Prédicats de Vérité. Théorie de la démonstration
Michael SCHMELING J.P. Ressayre/Van der Hoeven Juin 2001 Corps de transséries. Théorie des modèles
Guillaume GILLARD J. Despeyroux/G. Cousineau
(INRIA Sophia-Antipolis)
juin 2001   Informatique
Yassine HACHAICHI P. Cegielski Juillet 2001 Contributions à la théorie des modèles finis et à la complexité descriptive. Modèles finis et complexité.
Eugenio CHINCHILLA J.P. Ressayre Sept. 2001 Modèles en arithmétique bornée. Arithmétiques faibles
Xavier VIDAUX J.L. Duret/ A. Pheidas Sept. 2001 Equivalence élémentaire de corps elliptiques.  10èmePb de Hilbert  pour les fonctions méromorphes p-adiques globales. Théorie des modèles
Raphael BOMBOY M. Bronstein
(INRIA Sophia-Antipolis)
Septembre 2001   Informatique
Thomas BLOSSIER E. Bouscaren Déc. 2001 Ensembles minimaux localement modulaires. Théorie des modèles
Thierry VALLEE C. Berline Déc. 2001 "Map Theory" et Antifondation. Logique et Fondements de l'Informatique.
Olivier LAURENT
Y. Girard/ L. Régnier
Mars 2002
Etude de la polarisation en logique.
Théorie de la démonstration
Itaï BEN YAACOV D. Lascar Oct. 2002 Théories "simples": constructions de groupes et interprétabilité généralisée. Théorie des modèles.
Arnaud LAPITRE
F. Terrier (CEA)
2002 ?

Informatique
Véronique CORTIER H. Comon (LSV Cachan) Mars 03

Informatique
Christian ROSENDAL
A. Louveau
Juin 03
Etude descriptive de l'isomorphisme dans la classe des espaces de Banach.
Théorie descriptive des ensembles.
Abderezak
OULD HOUCINE

G. Sabbagh
Juillet 03
Sur quelques problèmes de plongement dans les groupes.
Théorie des modèles
Guillaume MALOD
B. Poizat
Juillet 03
Polynômes et coefficients.
Complexité
Annie CHATEAU
D. Richard/M. More
(Clermont-Ferrand)
Juillet 03
Utilisation des destinées pour la décision et sa complexité dans le cas de formules à profondeur de quantification bornée sur des structures logiques finies et infinies.
Complexité
Sylvain PEYRONNET
M. De Rougemont
Déc. 03
Model checking et vérification probabiliste.
Informatique
Stéphane MESSIKA
L. Fribourg
(ENS Cachan)
Déc. 04
  Informatique
Alexandre RAMBAUD
J-P Ressayre
Juin 05
Quasi-analycité, o-minimalité et élimination des quantificateurs
Théorie des modèles
Franck BENOIST
F. Delon
Juillet 05
Théorie des modèles des corps munis d'une dérivation de Hasse
Théorie des modèles
Ronald BUSTAMANTE-MEDINA
Z. Chatzidakis
Novembre 05
Théorie des modèles des corps différentiellement clos avec un automorphisme générique
Théorie des modèles
Anne-Gwen BOSSER
Emmanuel Chailloux
Novembre 05
Réplications distribuées pour la définition des interactions de jeux massivement multi-joueurs. Informatique
Julien LEVY
Stevo Todorcevic
Juillet 06
Principes de réflexion, codages et la structure H_{ω_2} Théorie des ensembles
Matteo VIALE
Boban Velickovic/
Alessandro Andretta (Turin)
Septembre 06
Applications de l'axiome du forcing propre à l'arithmétique des cardinaux Théorie des ensembles
Martin HILS
Zoé Chatzidakis/
Frank Wagner (Lyon I)
Octobre 06
Fusion libre et autres constructions génériques Théorie des modèles
Frédéric RUYER
Christophe Raffalli (Chambéry) Novembre 06
Preuve, Types et Sous-Types λ-calcul et informatique
Lionel NGUYEN VAN THE
Stevo Todorcevic Décembre 06
Théorie de Ramsey structurale des espaces métriques et dynamique topologique des groupes d'isométries Théorie des ensembles
Denis BONNAY
J. Dubucs (Paris I) Décembre 06
Qu'est-ce qu'une constante logique Philosophie
Adrien DELORO
E. Jaligot (Lyon I) Mai 07
Groupes simples connexes minimaux de type impair Théorie des modèles
Martin KOERWIEN
E. Bouscaren (Paris Sud) Septembre 07
La complexité de la relation d'isomorphisme pour les modèles dénombrables d'une théorie ω-stable Théorie des modèles
Luis PEREIRA
Stevo Todorcevic Septembre 07
Combinatoires des Cardinaux Singuliers et Structures PCF Théorie des ensembles
Christina BRECH
Stevo Todorcevic /
Piotr Koszmider (Sao Paulo)
Avril 08
Constructions génériques  d'espaces  de Asplund C(K) Théorie des ensembles
Philippe HESSE
Jean-Louis Krivine Juillet 08
Réalisabilité Classique et protocoles réseaux Lambda calcul
Fares MAALOUF
Françoise Delon Décembre 08
Structures geometriques C-minimales et trichotomie de Zilber Théorie des modèles
Victor Manuel TORRES-PÉREZ
Stevo Todorcevic Juillet 09
Réflexion, Compacité et Arithmétique des Cardinaux Théorie des ensembles
David DURIS
Arnaud Durand Novembre 09
Acyclicité des hypergraphes et liens avec la logique sur les structures relationnelles finies Complexité et théorie des modèles finis
Karim ER-RHAIMINI
Boban Velickovic Décembre 09
Construction par forcing d'espaces LCS et de structures PCF Théorie des ensembles
Yann Strozecki
Arnaud Durand Décembre 10
Complexité d'énumération et décomposition de matroïdes Complexité
Clément LASSERRE A. Khélif/F. Point Septembre 11 Sur les groupes de type fini : primalité, axiomatisabilité quasi finie et bi-interprétabilité avec l'arithmétique Théorie des modèles
Gönenç ONAY Delon/Point Décembre 11 Modules valués: en vue d'applications à la théorie des corps de caractéristique positive Théorie des modèles
Dimitris VLITAS Stevo Todorcevic Juillet 2012 Contributions a la théorie de Ramsey en dimension infinie Théorie des ensembles
Rémi STRULLU Boban Velickovic Septembre 2012 Principe de réflexion MRP, propriétés d'arbres et grands cardinaux Théorie des ensembles
Laura FONTANELLA Boban Velickovic Décembre 2012 Grandes propriétés pour petits cardinaux Théorie des ensembles
Raphaël Carroy Finkel/Duparc (Lausanne) Juillet 2013 Fonctions de première classe de Baire Théorie descriptive des ensembles
Pablo Cubides Kovacsics Delon Novembre 2013 Définissabilité dans les structures C-minimales Théorie des modèles
Samaria Montenegro-Guzmna Chatzidakis Juin 2015 Théorie des modèles des corps pseudo-réels clos et pseudo-p-adiquement clos Théorie des modèles