AI/ML engineer, systems builder, curious human
I'm Ryan, a Senior AI/ML Engineer at Dais, where I lead AI/ML implementation. Outside of work, I build projects in Rust, Kubernetes, computer vision, and computational time complexity.
AI/ML implementation · systems software · self-hosted infrastructure
Projects
A few projects I'm especially proud of, with code and longer write-ups where available.
A completed Rust solver, simulator, and machine-supported NP-completeness proof for finite-board predecessor existence.
Proved one-step finite-board predecessor existence NP-complete and built the solver, compiler, certificates, and independently checked proof artifacts behind the result.
Six-node bare-metal Kubernetes platform for GitOps, storage, shared services, and ongoing systems work.
Built and operate a two-plane platform with 36 TB of raw NVMe storage, controlled public exposure, shared data services, and reproducible GitOps delivery.
Completed Raspberry Pi prototype for quantized, cross-camera person re-identification at the edge.
Demonstrated a distributed edge pipeline that retained 79% ReID mAP after INT8 quantization while reducing measured runtime.
Research & writing
My research and technical writing, with PDFs, code, and presentation material when available.
Papers, reports, and talksA machine-supported proof that one-step predecessor existence is NP-complete for explicitly encoded finite Game-of-Life boards with a permanently dead exterior.
An edge-oriented person detection and re-identification prototype that shares embeddings instead of streaming every camera feed to a central server.
Presented at Stanford ACT4AERO workshop
Beyond the terminal
Originally from Tallahassee, Florida, I now live in the Bay Area. In my free time I like to get outside, cook, maintain my Kubernetes cluster, and follow whatever technical problem has caught my attention.
More about me