I am a UGC-Dr. D.S. Kothari Post Doctoral Fellow in Computer Science and Automation at Indian Institute of Science Bangalore. My primary interest is in Program Analysis. I am currently into static analysis of embedded systems.