I'm a PhD candidate in the UNSAT group in the Paul G. Allen School for Computer Science & Engineering at University of Washington. I am interested in developing and applying automated techniques to formally verify low-level systems software. In my work, I have found and fixed more than 30 bugs in real-world systems, including the BPF JIT compilers for x86, Arm, and RISC-V in the Linux kernel. I'm also excited about writing new verified systems and tricky code, such as the 32-bit RISC-V BPF JIT in Linux for which I am a maintainer.I am looking for Applied Scientist / Software Engineering positions to start after graduation in 2022.