Béranger Seguin
Since September 2023, I am a postdoc in the Arbeitsgruppe Computeralgebra und Zahlentheorie at the University of Paderborn, Germany.
I specialize in arithmetic geometry and number theory, and especially around questions of arithmetic statistics. You can learn more about my research on the dedicated page. Additionally, I have interest in writing formalized proofs.
In July 2023, I obtained a PhD in mathematics from the Université de Lille, supervised by Pierre Dèbes and Ariane Mézard. That work focuses around the geometry and arithmetic of connected components of Hurwitz spaces. You can read the manuscript or see the slides for the defense.
news
| Feb 22, 2026 | Vous pouvez m’écouter parler de la théorie d’Artin—Schreier (ou, si l’entrée vous suffit, résoudre les équations du second degré en caractéristique 2) sur la chaîne YouTube de Philippe Caldero ! |
|---|---|
| Jan 31, 2026 | Vous pouvez m’écouter parler de cohomologie des groupes, d’extensions, et de relèvement de morphismes sur la chaîne YouTube de Philippe Caldero ! |
| Dec 05, 2025 | I have formalized (see here) some of the main results of Flimsy Spaces in Lean 4. Pour les francophones, vous trouverez aussi une petite présentation vidéo d’une des preuves de l’article. |
| Nov 25, 2025 | New preprint! This one deals with a very natural question in general topology, that we have been thinking about since 2018. We have made much effort to make the article as readable as possible, so give it a try! |