Darion Cassel
Senior Applied Scientist at Amazon Web Services (AWS)
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolDarion Cassel is a senior applied scientist and fellow with 12 years of experience building secure, verifiable systems at the intersection of formal methods and machine learning. He led development of AWS Bedrock’s Automated Reasoning checks, a neurosymbolic guardrail that applies formal verification to reduce LLM hallucinations and achieve high verification accuracy. His background spans production security and backend engineering—from hardening the Diem Move VM and contributing to MIRAI’s Rust contracts to improving analytics and download tracking for the Open Science Framework. Trained at Carnegie Mellon (PhD work) and experienced in both industry research internships and large-scale cloud environments, he combines academic rigor with pragmatic engineering. Notably, he brings a rare blend of static analysis, bytecode verification, and runtime guardrail design that helps make generative AI systems auditable and robust.
12 years of coding experience
10 years of employment as a software developer
East Brunswick High SchoolDoctor of Philosophy - PhD Computer Engineering, Doctor of Philosophy - PhD Computer Engineering at Carnegie Mellon UniversityBachelor of Arts (B.A.) Computer Science, Bachelor of Arts (B.A.) Computer Science at University of Virginia
Github Skills (23)
python10
django10
it-security10
contract10
abstract-interpretation10
analytics10
data-structure10
security10
vector10
blockchain10
data-structures10
smart-contracts10
move10
rust10
algorithm9
Programming languages (7)
Github contributions (5)
facebookexperimental/MIRAI
Jun 2019 - Sep 2021
Rust mid-level IR Abstract Interpreter
Role in this project:
Back-end Developer
Back-end DeveloperContributions:21 reviews, 38 commits, 22 PRs in 2 years 4 months
Contributions summary:Darion primarily contributed to the `mirai` project by adding and refining contracts related to Rust's `Vec` type and other standard library features. Their work included implementing and improving vector models within the foreign contracts, adding example code, and fixing existing contracts. They also updated the project to include contracts for `str` and other standard library functions to improve the project's capabilities.
rustinterpretermid
diem/diem
Jun 2019 - Sep 2021
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Role in this project:Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:18 reviews, 46 commits, 41 PRs in 2 years 3 months
Contributions summary:Darion contributed significantly to the Diem blockchain project, focusing on improving the security and robustness of the Move VM. Their work involved auditing and addressing potential arithmetic overflows within the VM source code, introducing preconditions and runtime checks to enhance safety. Additionally, they refactored the code for coverage reporting and incorporated checks for exhaustive bytecode instruction coverage within the gas schedule. The contributions span multiple files, including those related to gas scheduling, serialization, and the core VM library.
diemfinancialtrustedethereumblockchain
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.