Denis Yermakou

Denis Yermakou maintains AxonOS, an open-source real-time operating layer for brain-computer interfaces written in Rust, and dy-wcet, a worst-case response-time analysis library for real-time task sets. Both are dual-licensed Apache-2.0 OR MIT. Every public claim the project makes carries an evidence level, from machine-checked proof to measurement on reference hardware with a published trace; the second level is claimed for nothing yet, and figures that could not be traced to an artefact have been withdrawn in public.