Software architect with industry and FOSS community experience, currently doing a PhD in Computer Science.
-
Websites: nandakumar.co.in (software and resources), nandakumar.org (blog and other personal things)
-
Developer of Vara, Sammaty, etc.
-
Linux kernel contribution: eBPF verifier improvement merged to Linux 6.18
-
Research area: Formal verification of software, eBPF
-
Experience in: End-to-end software development (systems, desktop, Web), performance engineering, systems software, GNU/Linux sysadmin, virtualization, containerization
-
Languages: ngg, C, Bash, Go, JavaScript, Rocq, PHP, Rust
-
Contact: contact@nandakumar.co.in


