I am Ph.D. student at Peking University, a member of Programming Languages Lab. I am advised by Prof. Zhenjiang Hu. My main interest is in programming languages, and type systems, formal semantics, program verification in particular. I am working on topics related to simplifying DSL and IDE implementation. Welcome to discuss with me!

My email address consists of the first three languages I learned: Visual Basic, C/C++, and Pascal.

Education

• Ph.D. Student in Computer Science, 2021-

  Programming Languages Lab, School of Computer Science, Peking University

• BSc in Computer Science, 2017-2021

  School of EECS, Peking University

Publications

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

Will be more, I think so ...