Cayden Codel
Teaching Assistant at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolCayden Codel is a Carnegie Mellon University software engineer and researcher specializing in formal verification, currently pursuing a master’s degree in computer science under Dr. Marijn Heule and Dr. Jeremy Avigad. Lean convert since 2021, he focuses on formally verifying translations of mathematical statements into propositional logic, with the goal of a library of verified encodings for combinatorial and graph theory problems. His path spans ML infrastructure work at MineRL Labs—building data collection pipelines for training reinforcement learning agents in Minecraft—and backend development experiences, including a Rust-based data-migration project at Mastercard that achieved a 50% reduction in storage for millions of SQL records. Since 2019 he has been a Teaching Assistant at CMU, leading recitations and office hours for three algorithms and systems CS courses and designing assessments for over 1,000 students. He earned a BS in Computer Science from CMU with a 3.93/4.0, blending rigorous academic training with hands-on software development across startups and large organizations. He sees SAT/SMT solving as a backbone for future research and is motivated to contribute to both theory and tooling in formal methods.
8 years of coding experience
1 year of employment as a software developer
Carnegie Mellon University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
minecraft10
malmo10
scroll10
encodings7
artificial-intelligence7
logic6
plugin4
architecture4
agent3
Programming languages (7)
Github contributions (5)
ccodel/verified-encodings
Jul 2021 - Jan 2023
Verifying encodings into propositional logic in Lean
Contributions:3 releases, 21 commits, 2 PRs in 1 year 6 months
leanencodingslogicpropositional-logic
cmu-rl/mc_plugin
May 2018 - Nov 2018
A plugin for the Herobraine team
Contributions:8 PRs, 67 pushes, 7 branches in 5 months
plugin
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.