Founder, AxonOS — deterministic infrastructure for brain–computer interfaces. Principal, DY Research. Rust · no_std · formally bounded.