|Allen Center 560|
My research interests are in building secure and reliable systems. Recently, I'm involved in the SandCat project to explore software adaptation and formal verification. Past projects include the Stack undefined behavior checker and the Jitk verified in-kernel interpreter. See my recent papers on the publications page and my pre-UW 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 recent work on the detection of gravitational waves!