I successfully defended my Ph.D. dissertation on April 25, 2008. I received my M.S in ECE from UT Austin; my undergraduate degree is from IIT Kharagpur.
My research interests lie in automatic formal verification of integrated circuits. I am a member of the SixthSense Team at IBM.