Yufan Zheng is a doctoral student in computer science advised by Xiaodi Wu. He is mainly interested in the theoretical aspect of quantum computing. His current research centers around verifiable quantum supremacy and verification of NISQ devices with strong theoretical support.