I like maths and code
I’m a Research Associate in Formalization of Mathematics at Imperial College London. Previously, I was a PhD student of Jürgen Hausen in Tübingen, doing algebraic geometry.
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
PhD thesis, University of Tübingen (2025)
2021, 2025-present
2024-2025
2023-2025
2022-2024
2021, 2025-present
In 2021, I started contributing to Lean’s official mathematics library as a hobby. After completing my PhD in 2025, I am now again a regular contributor. Click here to see my most recent PRs.
2024-2025
During my PhD, I needed a way to do computations with large amounts of rational
polygons. Unsatisfied with the existing solutions, I created
RationalPolygons.jl: A pure Julia package optimized precisely for this purpose.
Check out its documentation
on Github and see also my joint articles with Martin Bohnert.
2023-2025
I developed this Julia package during my PhD to perform classifications of ℂ﹡-surfaces. It was redesigned multiple times, the latest iteration is documented in the appendix of my PhD thesis.
2022-2024
I made this online search interface to showcase various classifications of log del Pezzo surfaces with torus action. It is kindly hosted by the University of Tübingen. Click here to check it out.
Room 758, Huxley Building, South Kensington Campus, United Kingdom
My current local time is .