I am a final-year Ph.D. candidate in computer science at Columbia University. I am fortunate to be advised by Prof. Ronghui Gu, and work closely with Prof. Jason Nieh and Prof. Suman Jana. Prior to that, I obtained my Bachelor’s degree of computer science from Tsinghua University in 2019.

My research spans the fields of programming languages, distributed systems, and machine learning, with the overarching goal of ensuring the correctness and security of safety-critical systems software through formal verification. I am particularly interested in automating the verification process, reducing the proof burden and specialized expertise required, thus facilitating its broader real-world application. To achieve higher automation, my research encompasses a combination of innovative pipelines, classical algorithms, and machine learning models, and has proven effective across various domains, including sequential programs, distributed protocols, and blockchain systems.

I am on the academic job market this year! Feel free to reach out.