Sophia Roshal Doctoral Research Assistant Office 6023 Gates and Hillman Centers Email sophiaroshal@cmu.edu Department Computer Science Department Thesis Advisor Frank Pfenning
