Systems & Low-level
Shaurya Rane
- Safety-Critical RTOS
- Formal Verification
- Linux Kernel
- Low-level Systems
- RISC-V
- Founding engineer on a formally verified, safety-critical RTOS — hardware-agnostic across ARM64 and RISC-V, built toward ISO 26262 and DO-178C.— RedKill OS
- Google Summer of Code 2026, with The Linux Foundation.— Google Summer of Code
- Patches merged into the mainline Linux kernel.— Linux Kernel
Safety-Critical RTOS