Ich mag Mathe und Code
Ich bin Research Associate in Formalisierung von Mathematik am Imperial College London. Vorher habe ich bei Jürgen Hausen in Tübingen in algebraischer Geometrie promoviert.
Classifying Rational Polygons with Small Denominator and Few Interior Lattice Points
Discrete & Computational Geometry (2026)
Classifying log del Pezzo surfaces with torus action
Revista Matemática Complutense 39, 1–74 (2026)
Del Pezzo surfaces of Picard number one admitting a torus action
Annali di Matematica Pura ed Applicata 204, 1899–1936 (2025)
The Picard index of a surface with torus action
Collectanea Mathematica 76, 515–544 (2025)
Classification and Geometry of Rational Polygons and Surfaces with Torus Action
Dissertation, Eberhard Karls Universität Tübingen (2025)
2021, 2025-jetzt
2024-2025
2023-2025
2022-2024
2021, 2025-jetzt
Im Jahr 2021 habe ich angefangen in meiner Freizeit zu Lean’s mathematischer Bibliothek beizutragen. Nachdem ich 2025 meine Promotion abgeschlossen habe, trage ich auch jetzt wieder regelmäßig bei. Klicke hier um meine neuesten PRs zu sehen.
2024-2025
In meiner Promotion brauchte ich eine Möglichkeit, Berechnungen mit sehr vielen
rationalen Polygonen durchzuführen. Da ich mit den bestehenden Paketen nicht
zufrieden war, schrieb ich mein eigenes: RationalPolygons.jl ist ein
Julia-Paket, das genau für diesen Zweck optimiert wurde. Klicke
hier um die
Dokumentation zu sehen, und siehe auch meine gemeinsamen Artikel mit Martin
Bohnert.
2023-2025
Dieses Julia-Paket habe ich während meiner Promotion geschrieben, um Klassifikationen von ℂ﹡-Flächen durchzuführen. Es wurde mehrmals neu geschrieben, die neueste Iteration habe ich im Anhang meiner Dissertation dokumentiert.
2022-2024
Diese online Datenbank habe ich erstellt, um verschiedene Klassifikationen von log del Pezzo Flächen mit Torusoperation zu zeigen. Sie wird auf Servern der Universität Tübingen gehostet. Klicke hier um sie anzusehen.
Room 758, Huxley Building, South Kensington Campus, United Kingdom
Meine lokale Zeit ist .