Cayden Codel
Teaching Assistant at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolCayden Codel is a formal verification researcher and teaching assistant at Carnegie Mellon University with eight years of software experience and a strong CS foundation (BS, 3.93 GPA). Currently pursuing graduate work under Marijn Heule and Jeremy Avigad, he focuses on verified translations of mathematical statements into propositional logic to build a library of trustworthy SAT/SMT encodings for combinatorics and graph theory. His background spans applied ML infrastructure (MineRL Labs), backend systems (data compression at Mastercard), and full‑stack test-driven development, giving him a rare blend of research rigor and production engineering. As a TA he’s led recitations for over 1,000 students and read tens of thousands of lines of student code, sharpening his debugging and synchronization thinking. Interested in tooling that bridges theory and practice, he’s committed to making formal methods accessible and auditable across research workflows.
8 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BS, Computer Science, 3.93 / 4.0, Bachelor of Science - BS, Computer Science, 3.93 / 4.0 at Carnegie Mellon University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (8)
minecraft10
malmo10
scroll10
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.