Krishna. S
I am very fortunate to collaborate with an amazing group of students.
- Lakshmi Manasa
- Reachability, Robustness and Recursion in Priced Timed Games
- graduated 2016, Institute Excellence in Ph.D 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
- graduated 2021,ACM India Doctoral Dissertation Award 2022 Honorable Mention
- Sparsa Roychoudhury (co-supervising with S. Akshay )
- Kalyani Dole (co-supervising with Ashutosh Gupta)
- Omkar Tuppe (co-supervising with Ashutosh Gupta)
- Reachability, Robustness and Recursion in Priced Timed Games
- graduated 2016, Institute Excellence in Ph.D Thesis Award 2016
- Analysis of Software Product Lines
- graduated, 2018
- On Decidable Extensions of Metric Temporal Logic
- graduated, 2019
- On Perfect Classes of Real-time Recursive Systems
- graduated, 2020
- On Some Fundamental Problems and Applications of Word Transducers
- graduated 2021,ACM India Doctoral Dissertation Award 2022 Honorable Mention