Luke Nelson

mail_outline lukenels location_on Allen Center 591 photo_camera Photo

I am a third-year PhD student in the UNSAT group and systems lab at University of Washington, advised by Xi Wang. I am currently working on Serval, a framework for building automated verifiers for systems code.

I also have a CV.

Conference Papers

Other Publications