Ben Racine
High-assurance systems • 🦀 Rust • C++
High-assurance systems • 🦀 Rust • C++ • Tokio • Axum
Veteran software engineer with 20 years of experience, currently building high-assurance systems in Rust and C++ for aerospace-grade reliability.
Veteran software engineer with 20 years of experience, currently building high-assurance systems in Rust and C++ for aerospace-grade reliability. My work spans the stack from pins to pixels. A strong background in the physical sciences and computational methods guides my approach to software design and verification.