I am a PhD student in the Programming Language Laboratory of Peking University, supervised by Prof. Zhenjiang Hu. I am interested in programming language theories, functional programming, algebraic effects, and bidirectional transformations in particular.
Education
- PhD in Programming Language Theories, Peking University, 2021 - Present
- BS in Computer Science, Peking University, 2017 - 2021