I received my Ph.D. from the School
of Computing at the University of
Utah in August of 2007. I did my Ph.D. research as a member of the Utah Verifier Group.
My advisor was Ganesh
Gopalakrishnan. Currently I am affiliated with the Parallel Computing Platform group at Microsoft.
My research interests include formal program analysis and verification tools and methodologies, theorem proving, and formal specification.