I am interested in the verification of probabilistic and timed systems. My areas of research are broadly in automata, logics and games.
Teaching for Autumn 2016 : CS 738 Concepts, Algorithms and Tools in Model Checking.
Along with Ashutosh Trivedi, I am organizing AVeRTS (Algorithmic Verification of Real-Time Systems), as a post-conference workshop of FSTTCS 2016 on December 16, 2016 at CMI, Chennai. Details of the 2015 edition of AVeRTS can be found here