Zhixiao Zhang (zhāngzhìxiào)
I am a fourth-year undergraduate student at Sichuan University in Chengdu China, majoring in Software Engineering.

I am interested in programming languages, program analysis, compiler, computer system, and computer security. I am currently working on enhancing the security of C programs by applying language-based approaches.

My ultimate goal is to contribute to building efficient, secure and resilient system software from programming language perspective. While I may not directly participate in every project, I aim to develop tools and techniques that can support these goals across a wide range of applications.

Zhixiao Zhang
News: I will join the Ph.D. program in Computer Science at the George Washington Univeristy (GWU) advised by Prof. Jie Zhou in Fall 2025.
Experience
Education