
Daniel Cumming
Daniel Cumming is a researcher at Runtime Verification Inc., where he has audited smart contracts and Rust-based blockchain infrastructure. He is currently working on the KMIR project, which encodes Rust’s stable MIR semantics in the K Framework. Prior to this, he studied at The University of Queensland and assisted in teaching and research on formal methods, computer systems, and algorithms.