澳大利亚国立大学

荣誉学位 Bachelor of Advanced Computing (Honours)。

主修
系统架构（Systems Architecture）
论文
《A Statically Typed Object-Oriented Language with Runtime Type-Argument Inference》，编程语言方向：编译器、运行时与形式化
2023 – 2026论文 PDF