Profile Pic


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


Organizing Trends in Transformations, a pre-conference workshop on Dec 10, 2019, held as part of FSTTCS 2019.