Daniel Cumming
Verification Engineer
Queensland, Australia
Summary
🤩
Rockstar🎓
Top SchoolDaniel Cumming is a verification engineer based in Queensland, Australia, with three years of experience applying formal methods to real-world software. At Runtime Verification he audits Rust code and develops KMIR, an encoding of Rust's MIR into the K operational semantics, and since 2025 he has been teaching RareSkills' Rust bootcamp. His background includes research at the University of Queensland on ARM64 and formally verified EVM bytecode using F* and Vale, with a conference publication from that work. Comfortable bridging research and practice, he combines formal verification rigor with hands-on Rust expertise and a knack for turning semantic models into usable verification tools.
3 years of coding experience
2 years of employment as a software developer
Master of Information Technology, Master of Information Technology at The University of Queensland
Github Skills (28)
cargo10
sarif10
endpoint-security10
virtual-machine10
security10
tlaplus9
dataflow-programming9
tooling9
eda9
evm9
ethereum9
api9
rust9
interpreter8
sandbox8
Programming languages (4)
Github contributions (5)
runtimeverification/stable-mir-json
Aug 2024 - Mar 2026
KMIR Rust Library
Contributions:51 reviews, 50 PRs, 98 pushes in 1 year 7 months
rust
dkcumming/rustsec-audit-extension
Apr 2023 - Oct 2024
RustSec API & Tooling - Cargo Audit extension to restrict output to target package
Contributions:14 pushes, 1 branch in 1 year 6 months
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.