|
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 1-clock Alternating Timed Automata. CONCUR 2018: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Paritosh K. Pandya,
|