Quinn Okabayashi ’23

I’m a software engineer at Google in NYC working on Rust-C++ interoperability tooling to drive Google’s adoption of Rust as a C++ successor. Working at the boundary of two low level programming languages means that we rely on constructing compile time proofs instead of runtime checks for soundness. This means that reasoning about invariants and composing safety proofs is a big part of the job, and the skills I developed during my math courses at Swarthmore have been invaluable for this.