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