I am a postdocotral researcher at the Max Planck Institute for Software Systems, Kaiserslautern, Germany under Prof. Rupak Majumdar..
Previous Affiliations:
- Postdoctoral Researcher at Delft Center for Systems and Control, Faculty of 3ME, Delft University of Technology (Jan 2020 - December 2021).
- Visiting Postdoctoral Fellow at Tata Institute for Fundamental Research, Colaba, Mumbai, India (August, 2019 - December 2020).
- PhD at Dept. of Computer Science, Indian Institute of Technology Bombay, Mumbai, India (August 2013 - July 2019).
- Temporal Logics
- Automata Theory
- Modelling and Verfication of Real Time Systems
- Verification of Infinite State Systems
- Discrete Event Systems
- Partially Punctual Metric Temporal Logic is Decidable. TIME 2014 : Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
- On Unary Fragments of MTL and TPTL over Timed Words. ICTAC 2014: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Paritosh K. Pandya
- Metric Temporal Logic with Counting. FoSSaCs 2016:Shankara Narayanan Krishna,Khushraj Nanik Madnani, Paritosh K. Pandya
- Making Metric Temporal Logic Rational. MFCS 2017: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Paritosh K. Pandya
- Logics Meet 1-clock Alternating Timed Automata. CONCUR 2018: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Paritosh K. Pandya
- Self-Triggered Control for Near-Maximal Average Inter-sample Time.CDC 2021: Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo Jr.
- Generalizing Non-Punctuality for Timed Temporal Logic with Freeze QuantifiersFM 2021: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya
- A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence HSCC 2022: Gabriel de Albuquerque Glezier, Khushraj Nanik Madnani, Manuel Mazo Jr.