Daniel Cumming
Daniel Cumming is a formal verification engineer at Runtime Verification and a Rust instructor at RareSkills. The work includes KMIR, a project that represents Rust’s intermediate code in the K framework to support symbolic execution and program verification. The project aims to make formal verification easier for Rust developers to use alongside ordinary testing.