Cayden Codel

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