Welcome! I'm an engineer with broad experience in software and security research, building and shipping production-quality distributed systems, and academic research. I have a Ph.D. in computer science with a focus on programming languages, and am currently working as a specialist toolchain engineer for Canonical, focused predominantly on Rust.

In general, my expertise and interests lay at intersection of several inter-related domains:

• Language Implementation: Compilers, virtual machines, interpreters, linkers, loaders, assemblers.
• Language Design: Domain-specific languages, type systems, lambda calculus, grammars, formal semantics.
• High-assurance Software: Formal verification, Rocq/Coq, authentication, authorization, payments.
• Polyglot Programming: Deep experience with Rust, C, C++, Haskell, Python, LLVM IR, Scheme/LISP, assembly.
• Shipping Real Software: I have designed, built, maintained, and shipped complex, distributed software to millions of customers.
• Teaching and Documentation: Communicating about complex ideas. I have worked as university-level instructor for programming language coursework, and have a peer-reviewed publication record. I enjoy building learning materials and technical writing.

I'm happily employed, and I'm not going to hire anyone to build me a fancier site, but feel free to reach out regarding anything else!