Students
PhD
- Enyi Jiang (Fall'23-)
- Debangshu Banerjee (Fall'22-)
- Jason Vega (Fall'22-)
- Isha Chaudhary (Fall'22-)
- Avaljot Singh (Fall'22-, co-advised with Charith Mendis)
- Yasmin Sarita (Fall'21-)
- Calvin Xu (Fall'21-)
- Yinglun Xu (Fall'21-)
- Shubham Ugare (Fall'20-, co-advised with Sasa Misailovic)
Master
- Shaurya Gomber (Fall'23-) Master thesis on Neural Abstract Interpretation
- Pooja Ganesh (Spring'23)
Undergrad
- Nancy Jia
- Tarun Suresh
- Siyuan Brant Qian
- Hangoo Kang
- Zhiwei Wang
- Yuxuan Wan
Alumni
- Pranshu Chaturvedi (Undergrad-> Standford Masters)
- Rem Yang (Undergrad -> MIT PhD)
- Robert Nagel (Undergrad -> Wisconsin Masters)