My main research interests a more detailed research statement available here are in the various applications of Logic in Computer Science. My current focus of work is on formal verification of safety critical realtime systems for which a Centre has been set up recently at IIT Bombay. Some details about my education and career and recent publications, for the interested. Heres information about the Ph. D. students I have guided so far. By looking at abstracts of recent M. Tech projects completed under my guidance you can get a better idea about my range of interests.

Website: http://www.cse.iitb.ac.in/~siva/