• 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

  • Devendra Bhave (co-supervising with Ashutosh Trivedi)

  • Khushraj Madnani (co-supervising with Paritosh Pandya)

  • Vrunda Dave (ongoing)

  • Sparsa Roy Choudhury (co-supervising with Akshay.S)