Luke Nelson
Applied Scientist at Amazon Web Services (AWS)
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolLuke Nelson is an applied scientist and PhD candidate at the University of Washington’s UNSAT group who specializes in automated formal verification of low-level systems software. With 11 years of engineering experience and a record of finding and fixing over 30 real-world bugs, he has deep practical expertise in kernel-level tooling—most notably maintaining the 32-bit RISC-V BPF JIT for Linux and patching BPF JITs across x86, Arm, and RISC-V. Now on the Applied Scientist team at AWS, he blends rigorous research with production impact, building verified systems and tricky low-level code. His background includes industry internships at Facebook and Delphix and strong academic performance (BS/MS in CS, GPA ~3.9), reflecting both practical shipping experience and formal-methods depth. A subtle strength is his ability to translate formal proofs into actionable fixes in large, performance-sensitive codebases.
11 years of coding experience
1 year of employment as a software developer
Master of Science - MS, Computer Science, 3.94, Master of Science - MS, Computer Science, 3.94 at University of Washington
English
Stackoverflow
11reputation
261reached
0answers
1question
Github Skills (162)
ruby10
shuttle10
subsystem10
windows-subsystem-for-linux10
filesystem10
linux-kernel9
linux9
distro9
code-golf9
x86-649
cli9
fuse9
racket9
ssh9
user-friendly9
Programming languages (12)
Github contributions (5)
lukenels/linux
Oct 2016 - Aug 2023
Contributions:245 pushes, 37 branches in 6 years 10 months
kernellinux-kernellinuxkernel-source
uw-unsat/jitterbug
Mar 2020 - Mar 2021
Contributions:120 commits, 36 pushes, 2 branches in 1 year
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.