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