Software · AI/ML · Systems
I ship small, dependable systems that touch the real world.
From neuromorphic robotics and hydrologic modeling to NVMe SSD verification and self-hosted services, I like work where code meets hardware, data, and operations.
FastAPI + NumPy toolkit that visualizes route trade-offs across time, risk, energy, uncertainty, and memory for robot planners, with a live debugging UI in the browser.
Pipeline that converts TLA+ NVMe specifications into executable NVMe SSD verification tests, automating nondeterministic command sequences against real devices.
Self-hosted platform behind Nginx and Docker, exposing authenticated access to VS Code Server, SSH/web terminals, and VPN services under a single domain.
Flask + SQLite app that lets students build color-coded, class-aware calendars.
Reproduction of Go’s go get RCE vulnerability with a minimal C + Go payload
and notes on the exploit chain.
Small Node + static HTML status page deployed behind Cloudflare for when services go dark.