Summary
Russell Mull is a Principal Software Engineer with 17 years of experience building high-assurance, distributed, and full-stack systems, currently applied to automotive software at Ford after Auxon was acquired. He combines deep academic rigor with practical product delivery—designing languages, parsers, query planners, and efficient sqlite-backed storage systems while shipping customer-facing tooling like LSP servers and VS Code extensions. A longtime Rust and Clojure practitioner, he’s ported core libraries to ClojureScript and has applied formal methods to produce ISO-26262 evidence and novel type-system encodings for kernel resource limits. Russell’s work spans startups and large enterprises, from running government PoCs to demonstrating runtime safety monitors at CES, reflecting a knack for turning research-grade ideas into deployable systems. Based in Portland, he holds a CS degree from RPI and an SGS TÜV Saar certification in automotive functional safety, signaling both engineering depth and domain-specific safety expertise.
17 years of coding experience
18 years of employment as a software developer
BS, Computer Science, BS, Computer Science at Rensselaer Polytechnic Institute
Japanese