Room no. 312, new CSE building
myname followed by the letter s [at] cse.iitb.ac.in
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.