Chase Norman Doctoral Research Assistant Office 9002 Gates and Hillman Centers Email chasen@cmu.edu Department Computer Science Department Thesis Advisor Jeremy Avigad