I am a second-year PhD student in LFCS at the University of Edinburgh, supervised by Dr. Sam Lindley. I am interested in programming languages, with a focus on types and effects, especially type systems for effect handlers.

I got my bachelor’s degree from Peking University, where I worked on program calculation and bidirectional programs supervised by Prof. Zhenjiang Hu. I did a research internship with Prof. Tom Schrijvers working on algebraic and scoped effects in 2021.

Education

Papers

Talks

Projects

Teaching

Service