Michael McLoughlin Doctoral Research Assistant Office 9215 Gates and Hillman Centers Email mcloughlin@cmu.edu Department Computer Science Department Thesis Advisor Bryan Parno Fraser Brown