Hello, I’m Shuhao Zhang, a first-year PhD student from Programming Language Lab, Peking University, under the supervision of Prof. Yingfei Xiong. I received my Bachelor’s degree from Beijing Institute of Technology.

My research interests focus on programming languages, especially on program verification and program synthesis.

I have been involved in competitive programming for a long time. See Misc for more detailed information.