Yi Fang (方屹)
Tennis is my favorite sport.
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.
news
No news so far...