Académique
Intérêts de recherche et parcours universitaire en algèbre, théorie des nombres et mathématiques formalisées.
Intérêts de recherche
- Théorie algébrique des nombres. Théorie du corps de classes, méthodes p-adiques et arithmétique des corps de nombres.
- Mathématiques formalisées. Lecture et écriture de preuves dans Lean 4 / mathlib, en algèbre et théorie des nombres.
- Physique mathématique. Un intérêt naissant pour les structures algébriques et géométriques des théories physiques.
Parcours universitaire
- 2025 – 2026
MSc Pure Mathematics
Imperial College London
Département de mathématiques.
Cours suivis cette année (8)
- Courbes algébriques
- Théorie de Galois
- Algèbre commutative
- Algèbres de Lie
- Théorie algébrique des nombres
- Algèbre 4 (en pratique, algèbre homologique)
- Mathématiques formalisées
- Géométrie algébrique
- 2021 – 2025
BSc Mathematics (programme de double diplôme)
University of Leicester & Dalian University of Technology
Programme centré sur les mathématiques, complété par des modules spécialisés en physique et en informatique.
-
University of Leicester
-
Dalian University of Technology
-