Cayden R. Codel


I'm a first-year PhD student in the Computer Science Department at Carnegie Mellon University. My work focuses on verifying Boolean function encodings into SAT using an interactive theorem prover. More generally, my interests lie in SAT solving and theorem proving and the synergy between them.

I completed my B.S. with honors in computer science at CMU in 2021. My honors thesis concerned the stochastic local search SAT solver DDFW. I received my master's in computer science from CMU in 2022. My thesis concerned verifying common SAT encodings.


My email is ccodel [at] andrew [dot] cmu [dot] edu.

My office is in the Gates-Hillman Center, floor nine, 9005.


At CMU, students are encouraged to be a teaching assistant for introductory-level computer science classes. I had the wonderful privilege to TA for three distinct courses across seven semesters. Below is a listing of the courses I TAed.

15-210 Parallel and Sequential Data Structures and Algorithms (S19, F19, F21)

15-410 Operating System Design and Implementation (S20, F20, S21)

15-213 Introduction to Computer Systems (Summer 20)