I received my Ph.D. in Computer Science in Fall 2006. My advisors were Prof. C. R. Ramakrishnan and Prof. Scott A. Smolka. I received Bachelors of Engineering degree in Computer Science from Jadavpur University, India in 1999. After that I worked for Interra IT, India for two years before coming to Stony Brook for Ph.D.. After two years of nice experience at Motorola India Research Lab at Bangalore, I have shifted to Programming Languages and Software Engineering group at IBM India Research Labs at Delhi.