Cayden Codel

Cayden Codel is a Researcher at Carnegie Mellon University's Computer Science Department, focusing on programming languages and formal verification. His work bridges theoretical logic with practical applications in automated reasoning and constraint solving.

• Research Interests: Programming Languages, Formal Verification, Satisfiability (SAT) Solvers, Satisfiability Modulo Theories (SMT), Automated Theorem Proving, Machine Learning
• Institution: Carnegie Mellon University (CMU)

His publications emphasize formal verification for logical systems, SMT/SAT solvers, and reinforcement learning applications. Articles from 2024-2019 reveal a trajectory from foundational logic to real-world dataset design (e.g., Minecraft-based AI research).

• Thesis Advisors: Marijn Heule, Jeremy Avigad
• Contact: ccodel@andrew.cmu.edu