About

Senior Software Engineer with a variety of interests including Rust, language semantics, formal verification, and operating systems.

Email: firstname at lastname dot info