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