utkarsh mauryasystems lab
00 / IndexRev. 2026.09Bangalore, IN
UTC+05:30

Utkarsh
Maurya

systems engineer

Systems engineer working on operating systems for machines that touch the physical world — making runtime behavior verifiable, bounding it in time, and being disciplined about which measurements are allowed to count as evidence.

role
ML Research Engineer — Polymath (YC W26)
lab
Creator, AxiomOS — VolnLabs
study
B.Tech ECE, NIT Hamirpur (2022–2026)
prior
Cypherock · Hyperledger / LFX · Summer of Bitcoin
focus
Kernels · real-time · verification · measurement
01 / selected work
01 axiomos
A runtime-programmable kernel: verified, hot-loadable behavior so a robot can change what it does without leaving its safety envelope. active 2025– 02 distriproc
Speculative paging in CRIU lazy restore. Network RTT, not fault count, decides whether prefetch helps. ms. in prep. 2026 03 linux multikernel
RISC-V CPU lifecycle and spawn path for multikernel boot. Four patches landing together. upstream 2026 04 resqterra
Staged degradation for drones that lose their link, rather than failing open. Patent filed. flown 2025– 05 cirkitly toolchain
Spec-driven RTL generation paired with verification, because generation alone is not useful. maintained 2025– 06 agent evaluation systems
Production-style RL environments and sealed verifiers for frontier coding agents. active 2026– all six, in full →
02 / elsewhere