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
I work for Tableau Software as a developer.
I have pretty diverse interests in computer science that range from tool assisted theorem proving to business intelligence through data visualization.
Last updated 23 June 2014