About
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
0Publications listed
Find Cayden Codel elsewhere
Related Searches
You Might Also Like
Marijn HeuleCarnegie Mellon University · Associate Professor- MMarijn J.H. HeuleCarnegie Mellon University · Associate Professor
- EEnric Rodríguez CarbonellPolytechnic University of Catalonia · Professor
Jeremy AvigadCarnegie Mellon University · Professor- CClemens EisenhoferVienna University of Technology · Researcher
- AAndrew Joseph ReynoldsUniversity of Iowa · Researcher