Long Pham Doctoral Research Assistant Office 5113 Gates and Hillman Centers Email longp@andrew.cmu.edu Department Computer Science Department Thesis Advisor Jan Hoffmann