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