I'm currently a Ph.D candidate in FLINT Group at the Department of Computer Science of Yale University, and my advisor is Zhong Shao.

My main work on research is aiming to achieve a high assurance on concurrent system software. The project that I'm working on is CertiKOS and witness-based distributed system verification.

Click here for more details