
I am a PhD. Student in Dept. of Computer Science, IIT Bombay working under Prof. S.N.Krishna and Prof. Paritosh K. Pandya . I am affliated with CFDVS Lab and currently working in the field of Timed Logics and Automata Thoery. I did my M. Tech. from IIT Bombay in the same domain.
Research Interests:
 Temporal Logics
 Automata Theory
 Modelling and Verfication of Real Time Systems
 Distributed Systems
 Learning Theory
Publications:
 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 1clock Alternating Timed Automata. CONCUR 2018: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Paritosh K. Pandya,
