关于我
我是伦敦帝国理工学院数学形式化方向的研究助理。 此前，我曾在图宾根师从Jürgen Hausen攻读博士学位，研究代数几何。
研究兴趣
- 使用 Lean 进行数学形式化
- 带有环面作用的代数簇
- Del Pezzo 曲面
- 凸几何、多边形
- 编写用于计数的程序
我喜欢数学和编程
我是伦敦帝国理工学院数学形式化方向的研究助理。 此前，我曾在图宾根师从Jürgen Hausen攻读博士学位，研究代数几何。
2021, 2025-现在
我从 2021 年开始将向 Lean 的官方数学库 Mathlib 贡献代码作为一项业余爱好。完成博士学位（2025 年）后，我目前再次成为活跃的常规贡献者。
2026
一个可在线检索的数据库，收录了近 5 亿个有理多边形，来源于我与 Martin Bohnert 的分类结果以及已有文献。你可以按不变量检索、识别给定的多边形，或通过 API 进行查询。
2024-2025
在攻读博士期间，我需要一种方法来处理大量有理多边形的计算。由于对现有解决方案不满意，我开发了
RationalPolygons.jl：一个专为此类计算优化的纯 Julia 软件包。你可以在 GitHub
上查看其文档，也可以参阅我与
Martin Bohnert 的合作论文。
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)
Room 758, Huxley Building, South Kensington Campus, United Kingdom
我现在的本地时间是 .