Robert Palmer's Home page

An old picture picutre. 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

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