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 area of Timed Logics and Automata Thoery. I did my M. Tech. from IIT Bombay in the same area.
- Temporal Logics
- Automata Theory
- Modelling and Verfication of Real Time Systems
- Distributed Systems
- Learning Theory
- 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: Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya