I'm an embedded software engineer with a focus on high-performance networking, Rust, and formal verification.