I am privileged to work with the following group of students and postdocs.

Ph.D. Advisees

1 co-advised with Boon Thau Loo
2 co-advised with Rajeev Alur



Graduated Ph.D. Students

  1. Xin Zhang, Ph.D., 2017
    Assistant Professor, Peking University, China
    Thesis: Combining Logical and Probabilistic Reasoning in Program Analysis
  2. Xujie Si, Ph.D., 2020
    Assistant Professor, McGill University, Canada
    Thesis: Learning-Aided Program Synthesis and Verification
  3. Sulekha Kulkarni, Ph.D., 2020
    Principal Software Engineer, Microsoft
    Thesis: Effective Program Reasoning using Bayesian Inference

Graduated Postdocs

  1. Yuepeng Wang *, 2020-2021
    Assistant Professor, Simon Fraser University
  2. Aravind Machiry, 2020-2020
    Assistant Professor, Purdue University
  3. Kihong Heo, 2017-2019
    Assistant Professor, KAIST, Korea
  4. Mukund Raghothaman, 2017-2019
    Assistant Professor, University of Southern California
  5. Woosuk Lee, 2016-2018
    Assistant Professor, Hanyang University, Korea
* co-advised with Rajeev Alur

Graduated Undergrads

Graduated M.S. Students