Yi Fang (方屹)

I am a first-year Ph.D. student at the Programming Languages Lab, Peking University, where I am fortunate to be advised by Prof. Zhenjiang Hu. I obtained my bachelor’s degree at Turing Class, Peking University.

My research interests lie in programming languages, with a current focus on program verification, particularly the verification of protocols.