Contact:

#312, Department of Computer Science and Engineering

email: my first name followed by the letter s@cse.iitb.ac.in

 




Profile Pic


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

News : You can find updates here