Algorithms and proofs
My Game of Life work asks whether a finite board has a predecessor. I built a SAT solver and simulation tools alongside a proof that the decision problem is NP-complete.
About me
I'm Ryan Rumana
I'm a Senior AI/ML Engineer at Dais. I work on ML research and development, including a Rust context platform and software for orchestrating agents.
Outside work, I write Rust, run a Kubernetes homelab, and work on research projects. This site collects that work, from a Game of Life solver and complexity proof to a multi-camera person tracking prototype.
Background
How I got here
I studied computer science at the Colorado School of Mines, earning my bachelor’s degree with a computer engineering focus in 2022 and my master’s with a machine learning focus in 2023.
Before Dais, I worked at Axial3D on software that takes medical scans through a 3D-model generation pipeline. At Entegrion, I built data-processing and visualization tools for coagulation monitoring. Those roles involved web applications, data pipelines, and the tools people use to inspect their results.
Interests
What I spend time on
Systems at home
I run an eight-node Kubernetes cluster for this website, local AI inference, and services used by family and friends. Maintaining it means working on storage, networking, deployments, and hardware.
Everyday tools
I keep a Lua-based Neovim setup for coding and notes, write small scripts when I need them, and have put together Rust lecture materials with runnable examples.
Personal
Life outside work
I was born in Tallahassee, went to college in Colorado, and now live in the Bay Area. Away from the computer, I train for endurance events and spend time outdoors.