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

Ph.D. Advisees

• Elizabeth Dinella
• Jiani Huang
• Sulekha Kulkarni
• Pardis Pashakhanloo*
• Xujie Si
• Halley Young

* Co-advised with Boon-Thau Loo.

Postdocs

• Kihong Heo
• Mukund Raghothaman

M.S. Students

• Brian Heath

---

Former Ph.D. Students

• Xin Zhang, Ph.D., 2017
  Thesis: Combining Logical and Probabilistic Reasoning in Program Analysis

Former Postdocs

• Woosuk Lee, 2016-2018
  Assistant Professor, Hanyang University, Korea

Former M.S. Students

• Richard Zhang, M.S., 2018
  Research Topic: Syntax-Guided Synthesis of Datalog Programs
• Aravind Machiry, M.S., 2013
  Research Topic: Automated Input Generation for Android Apps