About

I am Siyuan Zhu, a second-year Ph.D. student in Programming Language Lab (PLL) at Peking University, under the supervision of Prof. Di Wang.

My research interests include program analysis & optimization, functional programming, type system and program logic.