Krishna. S
I am very fortunate to work with an amazing group of Ph.D students!
Advisees
- Lakshmi Manasa (now with LinkedIn)
- Reachability, Robustness and Recursion in Priced Timed Games
- graduated, 2016
- Naik and Rastogi Excellence in Ph.D Thesis Award 2016
- Ganesh Narwane (now with JPMorgan Chase and Co)
(co-advised with Anup Bhattacharjee, BARC)
- Analysis of Software Product Lines
- graduated, 2018
- Khushraj Madnani (now post-doc at MPI-SWS, Kaiserslautern)
(co-advised with Paritosh Pandya)
- On Decidable Extensions of Metric Temporal Logic
- graduated, 2019
- Devendra Bhave (now with MathWorks)
(co-advised with Ashutosh Trivedi)
- On Perfect Classes of Real-time Recursive Systems
- graduated, 2020
- Vrunda Dave (now with Intel Corporation)
- On Some Fundamental Problems and Applications of Word Transducers
- graduated, 2021
- ACM India Doctoral Dissertation Award 2022 Honorable Mention
- Beth Outstanding Dissertation Prize 2022 Runner Up
- Kalyani Dole
(co-advised with Ashutosh Gupta)
- Robust and Adaptable Controller Synthesis from Duration Calculus Specifications
- graduated, 2024
- Omkar Tuppe
(co-advised with Ashutosh Gupta)
- Enhancing Dynamic Partial Order Reduction Across Four Axes: Semantics, Abstraction, Architecture, and Paradigms
- submitted, 2026
- Abhimannyu Basu
(co-advised with S. Akshay)
- Durgam Latha
Co-advisees
- Sparsa Roychoudhury (post-doc at TU Clausthal)
(co-advised with S. Akshay)
- Recursion, Resilience, and Randomness in Timed Systems
- graduated, 2023
- Sanchari Sil (co-advised with B. Srivathsan)