I am a second-year PhD student in LFCS at the University of Edinburgh, supervised by Sam Lindley. My research interest lies in programming languages, especially types (linear types, type inference) and effects (algebraic effects, higher-order effects, effect handlers, type-and-effect systems).

Previously, I was an undergraduate student majoring in Computer Science and a member of Turing Class at Peking University, where I worked with Zhenjiang Hu on program calculation and bidirectional programs. I was also a research intern in Tom Schrijvers' PL Group at KU Leuven working on algebraic and scoped effects in 2021.

Education

Papers

Talks

Projects

Teaching

Service