I am a PhD student in Computer Science department at Georgia Institute of Technology, advised by Prof. Qirun Zhang. My research focuses on program analysis, especially on designing and improving static analysis techniques. Currently, I am working on efficiently analyzing concurrent and parallel programs. I received the B.S. in Computer Science and B.S. in Mathematics from the University of California, Davis in 2019.