I'm a Ph.D student at USTC-Yale Joint Research Center for High-Confidence Software of Computer Science Department of USTC. My advisor is Prof. Zhong Shao and Prof. Yiyun Chen.
I'm interested in the design and implementation of modern operating systems and hardware virtualization. Now I participate in CertiKOS project at Yale.
zhz8512 AT mail dot ustc dot edu dot cn. Please replace "AT" with "@" and "dot" with ".".