你好！这里是我的个人主页。我目前就读于北京大学，是程序设计语言研究室的一员，导师是胡振江教授。我钟爱对程序语言的研究，特别是类型系统、形式化语义、程序验证的相关问题。我目前的研究致力于简化领域特定语言（DSL）及其集成开发环境（IDE）的开发。欢迎与我讨论交流！

我的邮箱名由我最先学习的三门语言组成：Visual Basic、C/C++、Pascal。

教育经历

• 计算机软件与理论 博士（2021-）

  北京大学 计算机学院 程序设计语言研究室

• 计算机科学 学士（2017-2021）

  北京大学 信息科学技术学院

论文

• Ziyi Yang, Yushuo Xiao, Zhichao Guan and Zhenjiang Hu (2022). A Lazy Desugaring System for Evaluating Programs with Sugars. In FLOPS.

会有更多的吧……