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.
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.
2026
A searchable online database of almost 500 million rational polygons, collected from the classifications by Martin Bohnert and me and from the literature. You can search by invariants, identify a given polygon, or query it programmatically.
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.
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)
Room 758, Huxley Building, South Kensington Campus, United Kingdom
My current local time is .