Personal Information


I am a PhD student at the School of Information & Software Engineering at UESTC. Currently, I am a VAR student at the Department of Computer Science at Yale University, under supervision of Professor Zhong Shao.

I am interested in Programming Languages, Operating Systems, Formal Methods and Network Security.


  • VAR in Computer Science Yale University
  • PhD in Software Engineering UESTC
  • Master of Software Engineering UESTC
  • Bachelor of Software Engineering Hangzhou Dianzi University


  • Yang, Xia, Peng Shi, Haiyong Sun, Wenxuan Zheng, and Jim Alves-Foss. "A Fast Boot, Fast Shutdown Technique for Android OS Devices." Computer 49, no. 7 (2016): 62-68.