- Lakshmi Manasa
- Reachability, Robustness and Recursion in Priced Timed Games
- graduated 2016, IIT Bombay Excellence in Thesis Award 2016
- Ganesh Narwane (co-supervised with Anup Bhattacharjee, BARC)
- Analysis of Software Product Lines
-
graduated, 2018
- Khushraj Madnani (co-supervised with Paritosh Pandya)
- On Decidable Extensions of Metric Temporal Logic
-
graduated, 2019
- Devendra Bhave (co-supervised with Ashutosh Trivedi)
- On Perfect Classes of Real-time Recursive Systems
- graduated, 2020
- Vrunda Dave
- Sparsa Roy Choudhury (co-supervising with Akshay.S)
- Kalyani Dole (co-supervising with Ashutosh Gupta)