Devendra Bhave

Home

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.

Research Interests

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.

In the past

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.

Research

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.

Contact

News

[Write about your latest awards, fellowships, internships here! :-)]