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

Ph.D. Advisees

• Elizabeth Dinella
• Jiani Huang
• Ziyang Li
• Aaditya Naik
• Pardis Pashakhanloo ¹
• Adam Stein (first year)
• Aalok Thakkar ²

¹ co-advised with Boon Thau Loo
² co-advised with Rajeev Alur

Masters

• Harsh Parekh

Undergrads

• Jonathan Mendelson
• Chuning Zhu

Postdocs

• Yinjun Wu

---

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

• Jessica Landon, BAS, Computer and Cognitive Science, 2019
  Research Engineer, DeepMind
  Thesis: Mining a Real-World Code Corpus for Guiding the Design of Program Analysis and Repair Tools

Graduated M.S. Students

• Aravind Machiry, M.S., 2013
  Thesis: Automated Input Generation for Android Apps