• Implemented binary diffing in our over-the-air update mechanism, reducing OTA sizes by 150x (6GB -> 40MB).

• Wrote Rust OP-TEE/TrustZone code to handle secure encrypted storage, with novel access controls and user isolation.

• Rapid prototypes: peer to peer blob storage via iroh/QUIC, gstreamer gpu codecs with webtransport video streaming, etc.

• Singularly responsible for all open sourcing in the company, including directly coordinating with internal and external legal counsel, security teams, engineers, and the technical challenges of balancing transparency with security.

• Sole maintainer of a NixOS hardware-in-loop tester, with custom Rust tooling for booting Nvidia Jetsons via RCM + NFS boots, scripting FTDI gpio to automate physical buttons, serial tty processing, and stm32 readout protection in probe-rs.

• Maintained most Rust systemd services and all of my team’s Rust tooling, CI, build infrastructure, docs, and DevX.

• Low level userspace linux - DBus (via zbus crate), systemd, dm_verity, dm_crypt, deb packaging, NixOS, etc.

• Implemented support for the orb’s thermal camera. Wrote safe FFI Rust <-> C bindings, with async tokio interop.

• Built bare-metal and async Rust firmware for full body tracking. Improved power efficiency by 5x and latency by 3x over Arduino. Designed a general framework for sensor fusion, networking, and IMUs, for different combinations of hardware.

• Shipped software to hundreds of users, allowing them to view their pose in 3D, overlaid on top of other VR games.

• Primary author of SolarXR, a realtime messaging protocol using Flatbuffers and Websockets. Enabled a transition to a polyglot codebase and eliminated thousands of lines of code as the team adopted Tauri, React, and TypeScript.

• Created a small scale business selling custom wearable circuit boards I designed in KiCad for full-body tracking.

• Lead designer and author of an open source, realtime data model for Virtual and Augmented Reality written in Rust.

• Wrote Rust macros to allow user defined types and dynamic types to be stored in the data model.

• Created a novel solution to allow Rust to be called safely from C#, and deployed Rust code inside of a Unity app.

• Implemented full-body motion capture on standalone Quest using IMUs, Websockets, Rust, and Unity, on the Quest pro.

• Built a job runner backend in Rust using the Axum web framework, HTTP, Websockets, Tokio, Tracing, and Docker.

• Built a high performance data pipeline and event based exponential filter in Rust, improving performance by ~750x.

• Implemented a high performance messaging framework using Flatbuffers and ZeroMQ in C++ and Rust. Added support for many different hardware devices and sensors. Integrated the framework with ROS2, a popular robotics toolkit.

• Implemented a low latency, zero-allocation event decoder in Rust for a neuromorphic event based camera (DVS).

• Open sourced work improving Bazel’s support for creating Python bindings for Rust and C++ (Pybind11 & PyO3).

• Singularly responsible for teamwide transition to the Bazel build system, and improving Gitlab CI infrastructure.

• Taught several workshops on type systems, Rust, and the tradeoffs in programming language design and performance.

• Worked in Samsung's special projects group in machine learning and software engineering.

• Built a neural text to speech engine in Python using PyTorch, TensorFlow, WaveNet, Tacotron 2, and WaveRNN.

• Implemented multi-GPU and device-agnostic training of Tacotron and WaveRNN in PyTorch.

• Designed data scraping methods using Python, Pandas, and Google Cloud APIs.