My areas of research are broadly in Automata, Logics, Games and the formal verification of timed and probabilistic systems.


Check out Trends in Transformations, a pre-conference workshop on Dec 10, 2018, held as part of FSTTCS 2018.

Indian Institute of Technology, Bombay (IITB)