Luke Nelson

mail_outline lukenels location_on Allen Center 591 photo_camera Photo

I am a fourth-year PhD student in the UNSAT group and systems lab at University of Washington, advised by Xi Wang. Most recently, I have been working on Jitterbug, a framework for writing and verifying BPF JIT compilers in the Linux kernel, and Serval, a framework for building automated verifiers for systems code.

I also have a CV.