About

I am Siyuan Zhu, a first-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, runtime system and formal verification.