I'm a first year PhD student of Prof. Jie Zhou's system security group at GWU.

I am interested in type system, program analysis, computation theory, formal semantics, abstract interpretation and system security. Broadly, I aim to leverage theoretical techniques–such as type theory–to enhance the performance, robustness, and reliability of software systems. Currently, I am working on memory safety. My ultimate goal is to build fault-free softwares.