Research Group
Current Members
PhD Students
Hongyu Yan
PhD student, Fall 2026–present
BEng: Xidian University
Research: formal methods and automated reasoning
Master’s Students
- Kamal Sherawat
- Vikrant Bhati
- Jai Sharma
Undergraduate Researchers
- Chris Nassif
- Emmit Phalen
Former Members
Click to expand
- Bilgehan Sel — PhD (2026). Amazon Fellowship (2024); Anthropic Fellowship (2025). Initial placement: Google DeepMind
- Zain ul Abdeen — PhD (2026). Initial placement: General Motors
- Mehmet Koruturk — MS. Current: PhD student, Texas A&M University
- Priya Shanmugasundaram — MEng (Fall 2023–Spring 2025). Current: Machine Learning Engineer, Adobe
- Faizan Manzoor — MS (Fall 2023–Spring 2025). Current: Mitsubishi Electric Power Products, Inc.
- Harshal D. Kaushik — Postdoc (2021–2022). Current: Postdoc @ UT Dallas; Previous: Data Scientist, Bayer
- Hardeep — MS (2022). Current: Data Science Intern, Talroo
- Qasim Wani — Undergraduate (2021). Current: Co-Founder & Chief Product Officer, Advex AI