I build massive distributed systems for work, and tinker with bare-metal hardware and microkernels for fun.
Designed and built the control plane for a massive distributed fuzzing engine. It manages the chaotic lifecycle of thousands of bare-metal workers, handling heavy telemetry firehoses including crash logs, corpus and metrics. Scaled it to over 100 billion execution iterations without melting down, while discovering more than 200 new bugs.
Open-source contributions to a message-passing
microkernel operating system written in
Rust, designed specifically for secure,
trustable hardware.
A DIY bare-metal FIDO U2F security token. I
used TamaGo to compile Go straight to the
USB armory Mk II SoC — zero OS underneath. Wrote the
low-level USB HID drivers and deterministic
ECDSA key derivation from scratch.
A Ledger-compatible hardware wallet firmware that handles raw APDU transport framing and secure crypto derivation curves within ARM TrustZone. Built to run on bare-metal ARM SoCs with high-assurance boot paths.