I am privileged to work with the following group of students and postdocs.
Ph.D. AdviseesBoon-Thau Loo.
Other Ph.D. Students
- Elizabeth Dinella
- Jiani Huang
- Neelay Velingker, North Penn High
Graduated Ph.D. Students
- Xin Zhang, Ph.D., 2017
Thesis: Combining Logical and Probabilistic Reasoning in Program Analysis
Graduated M.S. Students
- Aravind Machiry, M.S., 2013
Thesis: Dynodroid: An Input Generation System for Android Apps