Ganxiang Yang

Hi! I am Ganxiang Yang (杨淦翔), a second-year Ph.D. student at Columbia University, advised by Prof. Ronghui Gu. Previously, I received my Bachelor of Engineering degree at ACM Honors Class, Shanghai Jiao Tong University. In my undergraduate life, I was fortunate to work with Prof. Guoxing Chen at NSEC Lab and Prof. Xinyu Xing at Northwestern University.

I build automated verification tools and optimizing compilers to guarantee the security, correctness, and performance of complex systems. My work applies PL and formal methods across the computing stack, spanning system software, specialized hardware architectures (like TEEs and GPUs), and quantum architectures.