I am a PhD candidate at the Department of Computer Science and Engineering, IIT Bombay, since Autumn 2011. I am working under the guidance of Prof. Krishna S. and Prof. Ashutosh Trivedi.
I am currently pursuing research in the area of timed automata and games. Currently we are looking into verification and in optimizations real-time systems. More about my research can be found here.
I finished my masters degree (M. Tech.) here at CSE, IITB with compilers in 2009. I worked with Applied Micro Circuits Corporation for two and half years in development of kernel and device drivers for Linux and real-time operating system VxWorks. Here is my resume.
I am currently pursuing research in the area of timed automata and games. Currently we are looking into verification and in optimizations real-time systems.
[Write about your latest awards, fellowships, internships here! :-)]