Cayden Codel Doctoral Research Assistant Email ccodel@andrew.cmu.edu Department Computer Science Department Thesis Advisor Marijn Heule Jeremy Avigad
