I am very fortunate to collaborate with an amazing group of students.
- Lakshmi Manasa
- 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 Roychoudhury (co-supervising with S. Akshay )
- Kalyani Dole (co-supervising with Ashutosh Gupta)
- Omkar Tuppe (co-supervising with Ashutosh Gupta)