• 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
    • On Some Fundamental Problems and Applications of Word Transducers
    • Thesis submitted Dec 2020

  • Sparsa Roychoudhury (co-supervising with S. Akshay )

  • Kalyani Dole (co-supervising with Ashutosh Gupta)