I am a third-year PhD student in computer science at Columbia University. I am advised by Prof. Ronghui Gu, and work closely with Prof. Suman Jana. I obtained my Bachelor’s degree of computer science from Tsinghua University, where I worked with Prof. Jie Tang on data mining. During my summer visit at CMU, I worked with Prof. Alexander G. Hauptmann on social network analysis.
I am broadly interested in programming languages, operating systems and machine learning, with a focus on automated formal verification of systems software. My recent works involve learning loop invariants for sequential programs, and learning global inductive invariants for distributed systems.
Download my CV.