I am a PhD student in the Programming Language Laboratory of Peking University and the Department of Computer Science of KU Leuven, cosupervised by Prof. Zhenjiang Hu and Prof. Tom Schrijvers. I am interested in programming language theories, functional programming, algebraic effects, and bidirectional transformations in particular.

Education

• PhD in Programming Language Theories, Peking University and KU Leuven, 2021 - Present
• BS in Computer Science, Peking University, 2017 - 2021