学术研究
我目前就读于中国科学院数学与系统科学研究院（AMSS，隶属中国科学院大学，UCAS），师从陈亦飞教授，攻读博士学位，预计于 2027 年 6 月毕业。 我的研究集中于代数可积叶层化的 Sarkisov 纲领，以及极小模型纲领中的若干相关问题。完整的论文列表见论文页面。
近期，我也在积极探索 AI4Math 这一方向，包括人工验证 AI 生成的数学论文、搭建数学研究 harness、探索形式化证明语言 Lean 4 等。 此外，我对大模型训练、（数学）数据标注等 AI 基础设施（AI infra）方向，以及面向数学研究的后训练（post-training）也抱有浓厚兴趣。
无论是学术界还是工业界的研究岗位，我都持开放态度，欢迎垂询与合作。 其他信息可见我的个人简历。
教育经历
学历
- 理学博士（在读），中国科学院数学与系统科学研究院，中国科学院大学 — 2024 年至 2027 年（预计毕业）。指导教师：陈亦飞教授
- 理学硕士，中国科学院数学与系统科学研究院，中国科学院大学 — 2024 年。硕士学位论文：叶层化对的 Sarkisov 纲领。指导教师：陈亦飞教授
- 理学学士，北京航空航天大学 — 2020 年。学士学位论文：曲线模空间
荣誉奖励
- 美国大学生数学建模竞赛（MCM/ICM） — 一等奖（Meritorious Winner，两次）
- 北京航空航天大学华罗庚奖学金（两次）
- 中国科学院 — 三好学生
学术报告
- 2026 年 — 报告人，代数可积与三维叶层化的 Sarkisov 纲领，西交利物浦大学
专业技能
- 数学：双有理几何、极小模型纲领、Sarkisov 纲领、代数可积叶层化
- 编程：C、Rust、TUI 应用开发、Git；日常使用 Arch Linux + Neovim
- 语言：中文（母语）、英语（专业工作水平）
编程与开源
除学术研究外，我亦热衷于编程与 Linux 生态的探索。我维护了自己的 dwm（Linux 下基于 X11 协议的动态平铺窗口管理器）及若干其他 suckless 组件 的个性化分支，独立开发了一个 Hugo 主题（我的两个个人网站均基于此主题构建），并在 AI 辅助下开发了若干命令行与 TUI 工具。具体项目见项目页面（如 Calman、Markerss、Lichtung 等）。
联系方式
- 电子邮箱：wangyanze@amss.ac.cn — 欢迎就研究与合作事宜联系
- GitHub：hiraethecho — 代码与开源项目
- ORCID：0009-0003-3661-1890 — 学术发表记录
- 技术笔记：docs.keinmal.top — 技术文档与笔记
- 个人网站 MEMEX：memex.keinmal.top — 杂文博客