Her research interest lies in the areas of Automata, Logics, and the Formal Verification of Timed and Probabilistic Systems.
A popular teacher!
Her work has been recognized by the international community
Member, Gender Cell, IIT Bombay