About

I am a postdoctoral researcher with the Department of Computer and Information Science, University of Pennsylvania, advised by Prof. Gushu Li and Prof. Steve Zdancewic.

I received my Ph.D. degree in Computer Science and Technology from the Institute of Software, Chinese Academy of Sciences, advised by Prof. Mingsheng Ying. Prior to that, I received my M.Eng. and B.Eng. degrees from the Department of Electronic Engineering, Shanghai Jiao Tong University, advised by Prof. Weiyao Lin.

Research interests

My research interests lie in quantum information and formal methods, particularly in learning, testing, and verification of quantum systems. I am also interested in computer vision and machine learning.