Hi! I am a PhD student at KISP Lab, School of Computing, National University of Singapore. I am working with Prateek Saxena on system security.
I am interested in building systems with provable security guarantees. The main projects I am currently working on are: Capstone, a capability-based architecture providing a principled foundation for securing diverse and complex applications, and AnvilHDL, a hardware description language which helps prevent common bugs at design time.
Before PhD, I earned a bachelor's degree in Computer Science and Technology from Tsinghua University.
In my free time, I enjoy swimming, bicycling, hiking, and reading. I used to participate in competitive programming and still enjoy occasionally solving a problem or two for fun. You can find me on Codeforces and Topcoder.