Jiayi Zhuang

Hello! I am Jiayi Zhuang (庄嘉毅). Welcome to my homepage.

I am a first-year PhD student at the School of Computer Science, Peking University. I am a member of the Programming Languages Lab, advised by Prof. Di Wang (王迪) and Prof. Zhenjiang Hu (胡振江).

My research focuses on Program Verification and Programming Languages. I am particularly committed to bridging the gap between rigorous theoretical foundations and practical software applications.

My interest in this field stems from a fascination with the interplay between human logic and machine execution. I view programming languages not merely as tools, but as essential mediums that bridge human intelligence and computational power. I am passionate about leveraging these insights to enhance software reliability and efficiency.

I am always open to new ideas and collaborations. If you share similar interests, please feel free to reach out!