Designing and implementing components of SpacetimeDB, the real-time WASM stored procedure database! Among my many design triumphs have been collaborating on our in-memory row format, wholly designing our on-disk snapshot format, and spearheading the cross-language stabilization of our user-facing APIs. I also maintain our Rust client SDK, which involves a lot of cool compiler-adjacent code generation problems, and is stress-tested by its internal use in our managed cloud service.

Designed, prototyped in Common Lisp and Coalton, and evaluated techniques for compiling and optimizing quantum programs targeting silicon-­dot QPUs. Implemented abstractions in the Coalton compiler and standard library to support coworkers’ development.

Designed, prototyped in Common Lisp, and evaluated AI planning and plan recognition engines. Maintained and extended CUDA software for simulating swarm reasoning. Manipulated ARM32 embedded devices at a low level as a testbed for cybersecurity research.

Developed Windows Forms GUIs with C# .NET to monitor and manage a secure hypervisor. Wrote and generated formal models to demonstrate and test a model­-checking framework. Automated test infrastructure.