I am an applied scientist at the Automated Reasoning Group of Amazon Web Services (AWS), as well as an incoming assistant professor at the Department of Electrical and Computer Engineering at University of Toronto. I am looking for PhD students for Fall 2025! Feel free to send me an email with your CV.

I recently graduated from Columbia University with a Ph.D. in computer science. I was 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.