David Kahn Doctoral Research Assistant Office 6503 Gates and Hillman Centers Email davidkah@andrew.cmu.edu Department Computer Science Department Thesis Advisor Jan Hoffmann
