I am a tenure-track assistant professor at the Edward S. Rogers Sr. Department of Electrical and Computer Engineering at University of Toronto. I previously worked as an applied scientist at the Automated Reasoning Group of Amazon Web Services (AWS). I obtained my Ph.D. in computer science from Columbia University where I was fortunate to be advised by Prof. Ronghui Gu, and worked closely with Prof. Jason Nieh and Prof. Suman Jana. Prior to that, I obtained my Bachelor’s degree of computer science from Tsinghua University.

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 involves a combination of new verification pipelines, classical algorithms, and machine learning models, and has proven effective across various domains, including sequential programs, distributed protocols, and blockchain systems.