David Tsarskykh@blakframe
0
Events attended
0
Submissions made
United Kingdom
6+ years of experience
About me
David Tsarskykh leads the systems architecture at BLAKFRAME. He directs the development of the bare-metal microkernel and oversees the formal verification of all critical execution paths, applying SMT solvers and deductive verification frameworks to prove the absence of undefined behaviour before any code reaches production hardware. His current focus is the architectural split between deterministic CPU scheduling at the bare-metal layer and the structuring of high-velocity datasets for downstream processing. He coordinates directly with infrastructure partners to validate execution timing on dedicated hardware before expanding the node footprint.
