Ganxiang Yang

Hi! I am Ganxiang Yang (杨淦翔), a second-year Ph.D. student at Columbia University, advised by Assoc. Prof. Ronghui Gu. My research focuses on system code verification and on programming systems and optimizations in general, with the overarching goal of ensuring the correctness and security of safety-critical systems software through formal verification.

Previously, I received my Bachelor of Engineering degree at ACM Honors Class, Shanghai Jiao Tong University (SJTU). In my undergraduate life, I was fortunate to work with Asst. Prof. Guoxing Chen at NSEC Lab and Assoc. Prof. Xinyu Xing at Northwestern University.

Details about my research interests are shown by my previous publications and projects below.