Boqun Feng
Software Engineer at Netflix
Redmond, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolBoqun Feng is a seasoned software engineer with 14 years focused on Linux kernel internals—locking, RCU, atomics, and memory models—and a recent move to Netflix after senior roles at Microsoft and long contributions at IBM and Intel. He serves as a Linux kernel maintainer in areas like locking and RCU and co-authored work on the Linux Kernel Memory Model, bringing deep expertise in concurrency and low-level systems. He bridges practical kernel development with formal methods, contributing to herdtools and studying TLA+ and Coq to make OS correctness more tractable. Notable subspecialties include PowerPC support, rcutorture tooling, and lockdep enhancements such as recursive read-lock detection. Based in Redmond, he combines production-grade engineering with research-minded rigor, often applying type-system and formal-verification thinking to hard systems problems.
14 years of coding experience
14 years of employment as a software developer
Master's degree Computer Science, Master's degree Computer Science at Shanghai Jiao Tong University
English, Chinese
Github Skills (200)
subsystem10
distro10
system-programming10
eas10
linux10
linux-kernel10
archlinux10
rust10
vagrant10
kernel10
arch10
electrical-engineering10
forum10
armv810
windows-subsystem-for-linux10
Programming languages (8)
Github contributions (5)
fbq/arch-env
Feb 2015 - Dec 2022
Contributions:10 pushes in 7 years 11 months
fbq/linux-rust
Mar 2021 - Mar 2023
Adding support for the Rust language to the Linux kernel.
Contributions:67 pushes, 25 branches, 2 tags in 2 years
kernelrustlinuxlinux-kernelrust-language
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.