Training
The Logic group plays a key role in training of future Mathematicians, in particular for both Master and Ph.D. programmes. You can see a list of the courses currently offered at École doctorale as well as UMPA, and look at this page (no longer updated) for a description of past courses in mathematical logic given in Lyon.
Recent Graduates
- Jorge Munoz Carvajal
Supervisor : I. Ben Yaacov.
Titre : Dynamique topologique de groupoïdes pour l'étude des aléatorisations
- Samuel Zamour
Supervisor : F. O. Wagner
Titre : Étude des quasi-groupes de Frobenius et des K-boucles de rang de Morley fini
- Tingxiang Zou
Supervisor: F. O. Wagner
Title: Structures Pseudo-finies et Dimensions de Comptage
- Christian d'Elbée
Supervisors: T. Blossier et Z. Chatzidakis
Title: Expansions et néostabilité en théorie des modèles
- Jean-Cyrille Massicot
Supervisor: F. O. Wagner
Title: Groupes approximatifs en Théorie des modèles
- Romain Rioux
Supervisors: F. Delon et F. O. Wagner
Title: Théorie des modèles d'expansions de corps valués : phénomènes de séparation.
- Olivier Roche
Supervisors: F. O. Wagner et M. Ziegler
Title: Fusion d'un corps algébriquement clos
avec un sous-groupe non-algébrique d'une variété Abélienne.
- Tomas Ibarlucía
Supervisor: I. Ben Yaacov.
Title: Méthodes de théorie des modèles
pour l’étude de groupes topologiques.
First Position: University of Paris 7.
- Nadja Hempel
Supervisors: T. Blossier et F. O. Wagner.
Title: Groupes et Corps dans des Théories Neostables,
Condition de Chaîne et Enveloppes Définissables.
First Position: University of California at Los Angeles.
- Damien Arras
Supervisor: F. O. Wagner.
Title : Étude de la linéarité dans les théories simples.
- Haydar Göral
Supervisors: A. Martin-Pizarro et F. O. Wagner.
Title : La théorie des modèles des corps et des hauteurs.
First Position: Mimar Sinan Universitesi.
- Benjamin Druart.
Supervisors: T. Altınel et G. Besson (Grenoble).
Title : Groupes linéaires définissables dans les corps p-adiques.
- Adriane Kaïchouh.
Supervisors: I. Ben Yaacov and J. Melleray.
Title: Structures métriques et leurs groupes d'automorphismes : reconstruction,
homogénéité, moyennabilité et continuité automatique.
First Position:Lycée Pierre-Gilles de Gennes.
- Juan Felipe Carmona González.
Supervisors: A. Martin-Pizarro and A. Berenstein (Los Andes, Bogota).
Title: Expansions géométriques et ampleur.
First Position: Universidad Antonio Nariño.
- Simon Iosti.
Supervisor: T. Altınel.
Title: Une étude modèle-théorique du formalisme tannakien.
- Artem Chernikov.
Supervisor: I. Ben Yaacov.
Title: Sur les théories sans la propriété de l’arbre du second type.
First Position: Hebrew University of Jerusalem.
- Daniele Vallino.
Supervisors: A. Ould Houcine and D. Zambella (Torino).
Title: Algebraic and definable closure in free groups.
First Position: Instituto Comprensivo Statale di Forno.
- Doğan Bilge.
Supervisors: J. Melleray and E. Jaligot.
Title: Automorphism groups of homogeneous structures.
- Mohammed Belkasmi .
Supervisorr: T. Altınel.
Title: Contributions a la theorie des modeles positive .
- Ricardo de Aldama.
Supervisor: F. O. Wagner.
Title: Chaînes et dépendance.
First Position: CEA.
- Jean Berthet.
Supervisor: I. Ben Yaacov.
Title: Contributions à l'Etude Algébrique et Géométrique des Structures et Théories du Premier Ordre.
- Martin Hils.
Supervisor: F. O. Wagner and Z. Chatzidakis (Paris 7).
Title: Fusion libre et autres constructions génériques.
First Position: Humboldt University.
- Azadeh Neman.
Supervisor: E. Jaligot.
Title: Model-theoretic and Combinatoric Properties of Groups.
First Position: Bilgi University.
- Cédric Milliet.
Supervisor: F. O. Wagner.
Title: Propriétés algébriques des structures menues ou minces, rang de Cantor Bendixson, espaces topologiques généralisés .
First Position: Galatasaray University.