Home

My main work on research is aiming to achieve a high assurance on Operating system. The project that I'm working on is CertiKOS.

 

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.

Click here for more details