C. B. Aberle Doctoral Research Assistant Office 7010 Gates and Hillman Centers Email caberle@andrew.cmu.edu Department Computer Science Department Thesis Advisor Frank Pfenning
