Joshua Clune Doctoral Research Assistant Office 5101 Gates and Hillman Centers Email jclune@andrew.cmu.edu Department Computer Science Department Thesis Advisor Jeremy Avigad