I am privileged to work with the following group of students and postdocs.
Ph.D. Advisees
* co-advised with Rajeev Alur
1 co-advised with Joe Devietti
Postdocs
Undergrads
Graduated Ph.D. Students
- Xin Zhang, Ph.D., 2017
Assistant Professor, Peking University, China
Thesis: Combining Logical and Probabilistic Reasoning in Program Analysis
- Xujie Si, Ph.D., 2020
Assistant Professor, University of Toronto, Canada
Thesis: Learning-Aided Program Synthesis and Verification
- Sulekha Kulkarni, Ph.D., 2020
Principal Software Engineer, Microsoft
Thesis: Effective Program Reasoning using Bayesian Inference
- Pardis Pashakhanloo, Ph.D., 2023
Senior Software Engineer, CertiK
Thesis: Integrating Declarative Static Analysis with Neural Models of Code
- Aalok Thakkar*, Ph.D., 2023
Research Scientist, Movement Labs
Thesis: Example-Guided Synthesis of Relational Queries
- Elizabeth Dinella, Ph.D., 2023
Visiting Assistant Professor, Bryn Mawr College
Thesis: Neural Inference of Program Specifications
* co-advised with Rajeev Alur
Graduated Postdocs
- Woosuk Lee, 2016-2018
Assistant Professor, Hanyang University, Korea
- Mukund Raghothaman, 2017-2019
Assistant Professor, University of Southern California
- Kihong Heo, 2017-2019
Assistant Professor, KAIST, Korea
- Aravind Machiry, 2020-2020
Assistant Professor, Purdue University
- Yuepeng Wang *, 2020-2021
Assistant Professor, Simon Fraser University
- Yinjun Wu, 2022-2024
Assistant Professor, Peking University, China
* co-advised with Rajeev Alur