Cayden Codel Doctoral Research Assistant Office 9005 Gates and Hillman Centers Email ccodel@andrew.cmu.edu Department Computer Science Department Thesis Advisor Marijn Heule Jeremy Avigad