学术
围绕代数、数论和形式化数学的研究兴趣与学习经历。
研究兴趣
- 代数数论. 类域论、p-adic 方法，以及数域的算术。
- 形式化数学. 用 Lean 4 / mathlib 阅读和书写代数与数论中的证明。
- 数学物理. 对物理理论背后代数与几何结构的持续兴趣。
学习经历
- 2025 – 2026
纯数学硕士 (MSc Pure Mathematics)
Imperial College London
数学系。
本学期课程 (8)
- Algebraic Curves（代数曲线）
- Galois Theory（伽罗瓦理论）
- Commutative Algebra（交换代数）
- Lie Algebras（李代数）
- Algebraic Number Theory（代数数论）
- Algebra 4（实际上是同调代数）
- Formalising Mathematics（形式化数学）
- 代数几何 (Algebraic Geometry)
- 2021 – 2025
数学本科（中外联合培养双学位）
University of Leicester & 大连理工大学
课程以数学为主干，并包含物理与计算机方向的专业课。
-
University of Leicester
-
大连理工大学
-