Jian Fang’s Academic Personal Websites

I am a first-year Ph.D. student in Programming Language Lab (PLL) at Peking University. I am advised by Prof. Yingfei Xiong. I am interested in program verfication and program synthesis.