Jianan Yao

Jianan Yao

PhD student in Computer Science

Columbia University

About Me

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.

Publications


OSDI 2021.

PDF Code


PLDI 2021.

PDF Code

PLDI 2020.

PDF Code

ICLR 2020.

PDF Code

Contact