Zhibo Chen Doctoral Research Assistant Office 6008 Gates and Hillman Centers Email zhiboc@andrew.cmu.edu Department Computer Science Department Thesis Advisor Frank Pfenning