Allen Center 560
Assistant Professor (photo)
Paul G. Allen School of Computer Science & Engineering
My research interests are in building secure and reliable systems. Current projects include Nickel, Hyperkernel, and Yggdrasil. See my recent papers on the UNSAT publications page and other papers here.
I received my Ph.D. (2014) from MIT, under the guidance of Frans Kaashoek and Nickolai Zeldovich. Before that, I spent two years hanging out in the Systems Research Group at Microsoft Research Asia. I got my B.E. and M.E. from Tsinghua University, under the guidance of Xiaoge Wang—see her work on the detection of gravitational waves!