Santhosh Raju (fragger_fox)
About
My background includes working with complex systems like virtual memory subsystem of NetBSD Operating system, working on software systems implementing RFCs and writing proofs for software systems using TLA+.
In my spare time I work on NetBSD and FreeBSD projects. I hold commit rights to both NetBSD and FreeBSD ports.
My contributions to NetBSD core includes enabling memory hotplugging API for the virtual memory subsystem called uvm_hotplug(9) through TDD methodology, and code base sanitization (gcc as compiler) with the help of code sanitizers / fuzzers. I am actively working with the NetBSD QA team to improve the quality of the code base.
In addition to that, I have authored and help maintain various packages for both NetBSD / FreeBSD.