Jianan Yao

Jianan Yao

PhD student in Computer Science

Columbia University

About Me

I am a second-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 with neural logic models, and learning global inductive invariants for distributed systems.

Download my CV.


PLDI 2020.

PDF Code

ICLR 2020.

PDF Code