I finished my Ph.D. in 2020 where I was a part of the UNSAT group and the Systems Lab at the Paul G. Allen School of Computer Science & Engineering at UW, advised by Xi Wang. My past projects include Nickel, Hyperkernel and Yggdrasil. I am currently at Lacework.