Krishna. S

• Home
• Activities
• Publications
• Teaching

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)

Co-advisees

• Sparsa Roychoudhury (post-doc at TU Clausthal)

  (co-advised wuth Prof. S. Akshay)

  • Recursion, Resilience, and Randomness in Timed Systems
  • graduated, 2023

• Sanchari Sil (co-advised with B. Srivathsan)

• Namrita Varshney (co-advised with Ashutosh Gupta)